There is an open position for a postdoc in the Institute of Mathematics, CAS, see http://www.math.cas.cz/recrutements/postes.php?lang=0 It is open for mathematicians from all fields of mathematics. Our department can host a logician or a theoretical computer scientist. Pavel Pudlak