[Proof Complexity] a postdoc position in the Institute of Mathematics, CAS
Pavel Pudlak
pudlak at math.cas.cz
Tue Jun 16 10:46:42 CEST 2020
http://www.math.cas.cz/recrutements/postes.php?lang=0
More information about the Proof-Complexity
mailing list