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.

Qualifications

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.

Offer

We offer:

a position for 4 years;
starting date September 1, 2024, or upon agreement;
a full-time gross salary that starts at €2,770 and increases to €3,539 per month in the fourth year (scale P of the Collective Labour Agreement Dutch Universities (CAO));
benefits including 8% holiday bonus and 8.3% end-of-year bonus;
a pension scheme, partially paid parental leave, and flexible employment conditions based on the Collective Labour Agreement Dutch Universities.

Additional information

Do you have a question about this position or the application procedure? Please contact me (Johan Commelin) at j.m.commelin@uu.nl.

Apply

If you are enthusiastic about this position, please send your application by email to j.m.commelin@uu.nl. Please enclose:

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.