5 proof-checking-postdoc-computer-science-logic PhD positions at UNIVERSITY OF VIENNA in United Kingdom
-
50 Faculty of Life Sciences Startdate: 01.11.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.10.2029 Reference no.: 4701 Among
-
52 Faculty of Chemistry Startdate: 01.11.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.10.2026 Reference no.: 4714 Explore and teach
-
37 Faculty of Business, Economics and Statistics Startdate: 01.11.2025 | Working hours: 30 | Collective bargaining agreement: §48 VwGr. B1 Grundstufe (praedoc) Limited until: 31.10.2029 Reference
-
from Theoretical Computer Science. Our research group is located jointly at the Faculty of Physics – as part of the Quantum Optics, Quantum Nanophysics, and Quantum Information Group – and at the Faculty
-
, a research component and a teaching component. In terms of research, you will be expected to: Develop and implement a coherent and original programme of high-quality empirical research commensurate