[PT] Postdoc position in mathematical logic at Utrecht University

Postdoc position in Mathematical Logic at Utrecht University, 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. Below is a 
description of the project. 

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. 

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

Description of the project: 

Constructive mathematics is the part of mathematics that is concerned with explicit 
constructions. Research in this area roughly falls into two categories: the development of 
mathematics according to constructive principles, and the study of constructive theories in 
general. This project falls in the second category. It focuses on the structure of constructive 
proofs. Constructive proofs appear everywhere in mathematics, and, because of their 
computational content, are increasingly relevant in this era of computing. The project aims to 
find and explain the characteristics of such proofs. It thus approaches constructive mathematics 
from the proof-theoretic point of view, and tries to establish which and in which way properties 
of proofs, such as for example skolemization and unification, change when moving from a 
classical to a constructive context. Thus this is a project in proof theory, with connections to 
various other areas in mathematical logic.