PhD position in Logic (1.0 FTE)

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.

Applications should contain the following: 

• an application letter that sets out your qualifications and motivation for applying for the position; 
• a curriculum vitae; 
• two letters of reference; 
• a copy of your Master thesis and, if applicable, a sample of your published work; 
• a transcript of grades and/or scan of the Master certificate. 

To apply, please click the button below.

Employment will become effective in the Fall of 2018.

The application deadline is 22 June 2018.