[Proof Complexity] a postdoc position

Pavel Pudlak pudlak at math.cas.cz
Wed May 17 11:41:55 CEST 2017

Starting in fall 2017 there will be a postdoc position in my project 
Feasibility, Logic and Randomness in Computational Complexity.

For details and for submitting applications, see:


The deadline for applications is August 30, 2017.

Pavel Pudlak

More information about the Proof-Complexity mailing list