Stanowiska pracownik Instytutu Matematycznego Polskiej Akademii Nauk 1969 – pracownik Uniwersytetu w Utrechcie 1970 – pracownik w State University of New York at Bufallo profesor Uniwersytetu w Antwerpii 1979 – profesor Wydziału Informatyki Leiden University w Holandii profesor wizytujący na Wydziale Informatyki University of Colorado at Boulder przewodniczący Komitetu Nagrody im. Gödla kierownik grupy Informatyki Teoretycznej w Leiden Institute of Advanced Computer Sciences dyrektor naukowy w Leiden Center for Natural Computing
Członkostwa Członek Zagraniczny Fińskiej Akademii Nauk Członek Akademii Europejskiej (Academia Europaea) Członek Honorowy fundacji World Innovation Foundation Członek Honorowy redakcji czasopisma Fundamenta Informaticae