A two-year postdoctoral position in the Mathematical Logic and Theoretical Computer Science (MLTCS) group lead by Pavel Pudlák. Possible research topics within computational complexity, proof complexity, or cryptography. For further inquiries, reach out directly to any of the researchers with intersecting research interests.

Website: http://www.math.cas.cz/recherche/equipe.php?id_equipe=16&lang=0
Email: hubacek@math.cas.cz