[FOM] postdoc position in Warsaw

Leszek Kolodziejczyk lak at mimuw.edu.pl
Wed Jan 2 04:46:43 EST 2019

Dear Colleagues,

A 12-month postdoc position at the University of Warsaw is available within
the research project "Provability, computation and combinatorics at the
lower and intermediate levels of the Gödel hierarchy".

The project concerns axiomatic theories of first- and second-order
arithmetic. The three main general topics are:

1. Separating hierarchies of relativized bounded arithmetic by means of
combinatorial statements.
2. The strength of Ramsey-like theorems in second-order arithmetic, with an
emphasis on problems concerning proof sizes.
3. The axiomatic strength required to prove classical decidability
theorems, in particular decidability theorems for monadic second-order

There is quite a bit of freedom to choose a specific topic to work on.

The position comes with no teaching duties. The application deadline is
February 28, and the starting date of the position should be between
October 2019 and February 2020. The official announcement may be found, for
instance, at:


but please do not hesitate to contact me (lak at mimuw.edu.pl) if you have
further questions.

Best regards,
Leszek Kołodziejczyk


Leszek Kołodziejczyk
Institute of Mathematics
University of Warsaw

Banacha 2, 02-097 Warsaw, Poland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190102/cd9f911b/attachment-0001.html>

More information about the FOM mailing list