[Proof Complexity] Short-term postdoc position in Prague

thapen thapen at math.cas.cz
Fri May 3 10:34:24 CEST 2024

There is a position available for someone to come and work in the proof 
complexity group in Prague for three and a half months in the second 
half of this year. See the announcement here:


The deadline for applications is May 31st. Please contact me with any 

More information about the Proof-Complexity mailing list