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.
We are looking for a talented and dedicated researcher with a PhD in mathematics or computer science. The research carried out in the project belongs to the area of mathematical logic, and the applicant should have a background in this field. A background in proof theory or algebraic logic is highly recommended.