[Proof Complexity] a postdoc position in Prague

Pavel Pudlak pudlak at math.cas.cz
Mon Jan 15 17:37:25 CET 2018

A two‐year postdoctoral position is available at the Institute of 
Mathematics of the Czech Academy of Sciences. The deadline for 
applications is March 12, 2018 and the tentative starting date is July 
2018. For instruction how to apply, see


Pavel Pudlak

More information about the Proof-Complexity mailing list