13 proof-checking-postdoc-computer-science-logic PhD positions at UNIVERSITY OF VIENNA
Sort by
Refine Your Search
-
, Computer Science or a closely related field, ideally with a strong focus on quantum computing and numerical simulations. Experience in data-reuploading quantum algorithms, optical quantum computing and quantum
-
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
-
(DoSChem) – Austria’s largest doctoral training program in chemistry. DoSChem brings together more than 200 doctoral students and over 50 PIs, fostering interdisciplinary and curiosity-driven research
-
within the Vienna Doctoral School in Chemistry (DoSChem) – Austria’s largest doctoral training program in chemistry. DoSChem brings together more than 200 doctoral students and over 50 PIs, fostering
-
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
-
gravitational effects on entangled photons for shining light onto the interface of quantum physics and gravity? Can we exploit quantum photonics technology for novel quantum machine learning, quantum computing
-
of the Faculty of Physics. We are a member of the Vienna Center for Quantum Science and Technology (VCQ), one of the largest quantum hubs in Europe, and of the Austrian Cluster of Excellence (quantA), advancing
-
motivated and talented predoctoral researchers. The focus of our research is in the field of Data/Computational Science in Astrophysics & Cosmology. You can find more information about our research area and
-
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
-
administration and organisation. We are looking for a PhD Student in Evolutionary Anthropology (with a focus on Palaeoproteomics) 50 Faculty of Life Sciences Startdate: 01.03.2026 | Working hours: 30 | Collective