You cannot apply for this job anymore (deadline was 20 May 2019).
Browse the current job offers or choose an item in the top navigation above.
The PhD is embedded in the research project “Optimal Proofs” funded by the Netherlands Organisation for Scientific Research led by Prof. 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 focuses 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 lies mainly within the mathematical part of the project, but can, depending on the interests of the candidate, be extended to the philosophical part of the project as well.
Utrecht University offers a pension scheme, a holiday allowance of 8% per year, an end-of-year bonus of 8.3% and terms of employment. Conditions are based on the Collective Employment Agreement of the Dutch Universities. More information: working at Utrecht University.
A better future for everyone. This ambition motivates our scientists in executing their leading research and inspiring teaching. At Utrecht University, the various disciplines collaborate intensively towards 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 education 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. The enthusiastic and committed colleagues and the excellent amenities in the historical city center of Utrecht, where the Faculty is housed, contribute to an inspiring working environment.
Domplein 29, 3512 JE, Utrecht
We like to make it easy for you, sign in for these and other useful features: