[Proof Complexity] postdoctoral position

Pavel Pudlak pudlak at math.cas.cz
Tue Aug 1 21:45:13 CEST 2017

This is a reminder that the deadline for application for a postdoc in the 
project "Feasibility, logic and randomness in computational complexity" in 
the Institute of Mathematics, Prague, is August 30.

See http://www.math.cas.cz/recrutements/postes.php

Pavel Pudlak

More information about the Proof-Complexity mailing list