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: http://www.math.cas.cz/recrutements/postes.php The deadline for applications is March 31. Please forward this to anyone who you think may be interested. Neil Thapen