[Proof Complexity] postdoc position in Warsaw

[Leszek Kolodziejczyk]

Dear Colleagues,

a 12-month postdoc position at the University of Warsaw is available within
a research project I am leading. The project concerns axiomatic theories of
arithmetic. This includes bounded arithmetic and related aspects of
propositional proof complexity, and there is quite a bit of freedom to
choose a specific topic.

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

--

Leszek Kołodziejczyk
Institute of Mathematics
University of Warsaw

Banacha 2, 02-097 Warsaw, Poland
www.mimuw.edu.pl/~lak