This PhD position is embedded in the Research Project “Optimal Proofs”, funded by the Netherlands Organisation for Scientific Research and led by Dr. Rosalie Iemhoff, Department of Philosophy and Religious Studies, Utrecht University. The project in mathematical and philosophical logic is concerned with formalisation in general and proof systems as a form of formalisation in particular. Its mathematical aim is to develop methods to describe the possible proof systems of a given logic and establish, given various criteria of optimality, what the optimal proof systems of the logic are. Its philosophical aim is to develop general criteria for faithful formalisation in logic and to thereby distinguish good formalisations from bad ones.  The mathematical part of the project focusses on, but is not necessarily restricted to, the (non)classical logics that occur in computer science, mathematics, and philosophy, while the philosophical part of the project also takes into account domains where formalisation in logic is more rare. The research of the PhD candidate lies within the mathematical part of the project.

Qualifications for the PhD position:

• a Master's degree or equivalent degree in Mathematics, Computer Science or Philosophy specialising in logic;
• proficiency in academic English;
• the ability to work both independently and as part of a team, with good organisational and communication skills;
• a keen interest in abstract fundamental research.

We offer a temporary position (1.0 FTE) for a period of 18 months. Upon good performance and a positive evaluation, the contract will be extended for the remaining period of 30 months (4 years in total). The gross salary - depending on previous qualifications and experience  - ranges between €2,222 and €2,840 (scale P according to the Collective Labour Agreement Dutch Universities) gross per month for a full-time employment. Salaries are supplemented with a holiday bonus of 8 % and a year-end bonus of 8.3 % per year. We offer a pension scheme, (partly paid) parental leave, collective insurance schemes and flexible employment conditions (multiple choice model). More information is available at: working at Utrecht University.

A better future for everyone. This ambition motivates our scientists in their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively on major societal themes. Our focus is on Dynamics of Youth, Institutions for Open Societies, Life Sciences and Sustainability. 

The Faculty of Humanities has around 6,000 students and 900 staff members. It comprises four knowledge domains: Philosophy and Religious Studies, History and Art History, Media and Culture Studies, and Languages, Literature and Communication. With its research and teaching in these fields, the Faculty aims to contribute to a better understanding of the Netherlands and Europe in a rapidly changing social and cultural context. Enthusiastic and committed faculty members and excellent amenities in the historical city center of Utrecht, where the Faculty is housed, contribute to an inspiring working environment