Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Thursday 28 February 2019

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.

For more information, see https://www.mimuw.edu.pl/~lak/gr5811-postdoc-Oct2019-EN.pdf or contact Leszek Kołodziejczyk at .

Please note that this newsitem has been archived, and may contain outdated information or links.