[Proof Complexity] Prague postdoc position - extended deadline

thapen thapen at math.cas.cz
Sat Apr 1 05:40:49 CEST 2023

Dear colleagues,

This is an opportunity to come to work as a postdoc, in the area of 
proof complexity or bounded arithmetic, in our department in the 
Institute of Mathematics of the Czech Academy of Sciences in Prague. See 
this link for details:


I'm sending this second email because we have extended the deadline for 
applications to April 30.

Please consider forwarding this to any students or postdocs who might be 


Neil Thapen

More information about the Proof-Complexity mailing list