[FOM] postdoc position in Warsaw

[Leszek Kolodziejczyk]

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
theories.

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:

www.mimuw.edu.pl/~lak/gr5811-postdoc-Oct2019-EN.pdf

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
www.mimuw.edu.pl/~lak
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190102/cd9f911b/attachment-0001.html>