[Proof Complexity] Positions at the Academy of Sciences in Prague

[thapen]

There is an opening at our department for a researcher in mathematical 
logic, computational complexity, proof complexity or set theory. This is 
a tenure track type position, expected to turn into a long-term contract 
after the initial two years.

There is also an opening for a postdoc at the mathematical institute, 
not exclusive to our department, for two years from this summer.

See https://app.math.cas.cz/public/positions

The application deadline is 31 March. Please contact me at 
thapen at math.cas.cz if you have any questions.