A call for a postdoc position has been posted on the web page of our institute: http://www.math.cas.cz/recrutements/postes.php The position is not for a specific department or topic. I hope somebody working in logic or theoretical computer science will apply. Pavel Pudlak