PhD position in Mathematical Logic at Utrecht University, the Netherlands.

A four year PhD position in Mathematical Logic is available at the Department of Philosophy of Utrecht University in The Netherlands. The position is part of the research project "The power of constructive proofs", which is a five year project on proof theory and constructive mathematics, funded by the Netherlands Organisation for Scientific Research.

We are looking for a talented and dedicated student with a MSc or equivalent degree in mathematics or computer science. The research carried out in the project belongs to the area of mathematical logic, and the applicant should preferably have a background in this field.

The deadline for applications is June 14th, 2010. For more information on the project and application procedure, please visit http://www.uu.nl/NL/Informatie/sollicitanten/Pages/Vacatures.aspx.