[Proof Complexity] Postdoc position in Prague

thapen thapen at math.cas.cz
Wed Feb 8 09:52:35 CET 2023

Dear colleagues,

There is an opening for a postdoc position in our department, to work in 
the area of proof complexity or bounded arithmetic. Please see this link 
for details:


The deadline for applications is March 31. Please forward this to anyone 
who you think may be interested.

Neil Thapen

More information about the Proof-Complexity mailing list