Postdoctoral position (1y) on the Goedel hierarchy, Warsaw (Poland)

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 position comes with no teaching duties. The starting date of the position should be between October 2019 and February 2020.