Postdoctoral position in mathematical logic, Utrecht (The Netherlands)

A two year postdoc 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. A background in proof theory or algebraic logic is highly recommended.

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