Ab 1992 war er Leiter der neu gegründeten Abteilung für mathematische Logik der Karls-Universität, die bis 2000 bestand, als Vopěnka in den Ruhestand ging und Professor Emeritus der Karls-Universität wurde.