This PhD opportunity is closed.
The page remains available as a historical official source. Please use the related current PhD opportunities or country directory for active options.
BookUNI Summary
PhD project enhancing Rocq proof assistant interoperability in synthetic mathematics. Seeks candidates with logics and functional programming experience, focusing on type-theoretic foundations.
Application Information
Official Opportunity / Application Page PhDScanner https://www.phdscanner.com/api/opportunities/27e5c901-7bb1-4c81-809c-e10803a38965/applyBookUNI provides a structured summary and route to the public source. Confirm eligibility, documents, deadline, funding and submission rules on the official page before applying.