The Postdoctoral Researcher 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 Postdoc is expected to contribute to the mathematical part of the project.

Qualifications for the Postdoc position:

• a PhD in Logic, preferably in Mathematical or Philosophical Logic;
• excellent track record and research skills relative to experience;
• excellent academic writing and presentation skills;
• publications in good journals or (in the case of books) with internationally recognised academic publishers;
• the ability to work both independently and as part of a team, with good organisational and communication skills.

We offer a temporary position (1.0 FTE) for one year. Upon good performance, the contract will be extended for another 24 months (3 years in total). The gross salary - depending on previous qualifications and experience  - ranges between €3,238 and €3,475 (scale 10 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