PhD position in Formalization of Mathematics

I am offering a PhD position in formalization of mathematics at Utrecht University, specifically the formalization of arithmetic geometry and the research and development of automated theorem proving techniques relevant to the formalization of arithmetic geometry.

The PhD project will be carried out at the Mathematical Institute of Utrecht University. During your PhD you will have light teaching duties.


Excited about the position? Check if you have the following qualifications:


We offer:

Additional information

Do you have a question about this position or the application procedure? Please contact me (Johan Commelin) at


If you are enthusiastic about this position, please send your application by email to Please enclose:

If this specific opportunity is not for you, but you know someone else who may be interested, please forward this vacancy to them.

The application deadline is 17 November 2023.