Application details are incomplete. Check the source carefully before applying; this page is not included in search indexing.
Hiring organization: Centre National de la Recherche Scientifique
MathematicsComputer SciencePhD StudentFrance
Centre National de la Recherche Scientifique is hiring:
PhD in Mathematics and Fundamental Computer Science
#phd #computerscience #mathsky
---
Extract: The project aims to develop a new generation of proof assistants integrating linguistic layers and automated tools for constructing certified mathematical documents. The PhD thesis focuses on linear duality and higher algebraic effects in homotopy type theory.