There is a new opening of a postdoctoral position in our institute. It is intended for applicants from all fields of mathematics, therefore it is more competitive. I will be happy if some applicants are from our field (logic, computational complexity, proof complexity). Pavel Pudlak http://www.math.cas.cz/recrutements/postes.php?lang=0