### Logic List Mailing Archive

## Postdoctoral position in mathematical logic, Utrecht (The Netherlands), Deadline: 15 Jan 2012

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.