[Proof Complexity] postdoc position in Institute of Mathematics CAS

Pavel Pudlak pudlak at math.cas.cz
Wed Jun 15 11:14:50 CEST 2022

There is an open position for a postdoc in the Institute of Mathematics, 
CAS, see


It is open for mathematicians from all fields of mathematics. Our 
department can host a logician or a theoretical computer scientist.

Pavel Pudlak

More information about the Proof-Complexity mailing list