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
of Utrecht University. During your PhD you will have light teaching duties.
Excited about the position? Check if you have the following qualifications:
- You are expected to have an MSc degree (or equivalent) in mathematics, or to obtain such a degree before the starting date of the PhD project.
- A working proficiency in English will be necessary, as well as a collaborative and enterprising attitude towards research in mathematics. Knowledge of the Dutch language is not required.
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 firstname.lastname@example.org.
- a letter of motivation;
- your curriculum vitae;
- transcripts of your grades and a list of courses you are currently taking;
- two names and contact details for references, added on a separate page.
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.