[Proof Complexity] psotdoc position in the Institute of Mathematics

Pavel Pudlak pudlak at math.cas.cz
Wed Jun 28 19:16:13 CEST 2023

A call for a postdoc position has been posted on the web page of our 


The position is not for a specific department or topic. I hope somebody 
working in logic or theoretical computer science will apply.

Pavel Pudlak

More information about the Proof-Complexity mailing list