33 proof-checking-postdoc-computer-science-logic Postdoctoral positions at UNIVERSITY OF VIENNA in United Kingdom
Sort by
Refine Your Search
-
50 Faculty of Life Sciences Startdate: 01.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.07.2031 Reference no.: 4188 At the University
-
39 Faculty of Computer Science Startdate: 01.10.2025 | Working hours: 20 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 30.09.2031 Reference no.: 3905 Among the many
-
39 Faculty of Computer Science Startdate: 01.07.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 30.06.2029 Reference no.: 4027 Among the many
-
50 Faculty of Life Sciences Startdate: 18.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 17.08.2029 Reference no.: 4247 Explore and teach
-
50 Faculty of Life Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.08.2031 Reference no.: 4268 Explore and teach
-
52 Faculty of Chemistry Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.08.2028 Reference no.: 4195 Explore and teach
-
50 Faculty of Life Sciences Startdate: 01.08.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 31.07.2029 Reference no.: 4160 Explore and teach
-
: Department for Structural and Computational Biology at the Max Perutz Labs, a research institute established by the University of Vienna and the Medical University of Vienna. Dedicated to a mechanistic
-
49 Faculty of Social Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 4032 Explore and
-
"Mathematical Data Science" research group at the University of Vienna (led by Prof. Dr. Philipp Grohs) and the "Computational Partial Differential Equations" research group at TU Wien (led by Prof. Dr. Michael