28 formal-verification-computer-science Postdoctoral positions at UNIVERSITY OF VIENNA
Sort by
Refine Your Search
-
53 Faculty of Earth Sciences, Geography and Astronomy Startdate: 01.10.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 30.09.2031 Reference
-
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
-
"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
-
consists of several post-doctoral and PhD students with backgrounds in psychology, cognitive science, neuroscience, computer science, engineering, and physics. The focus of our research is to develop new
-
tasks as needed. This is part of your personality: You aspire to an academic career as a university professor (in Austria or abroad) and see this position as a step toward obtaining the formal
-
faculty. You participate in research projects and studies. Candidate Profile: You might have a background in computational chemistry, theoretical condensed matter physics, computer science, or a similar
-
from Theoretical Computer Science. The 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
-
. Computing time is available on our local cluster and on the Vienna Scientific Cluster (VSC), a supercomputer shared by Austria's major universities. We focus on the development of methods to solve the many
-
methodologies -- a powerful combination that’s redefining what’s possible in computational science, and is playing a crucial role in tackling some of today’s scientific and societal challenges. The candidate will
-
, which means: Developing a third-party funded project to be submitted to a competitive programme (e.g. Marie Curie, FWF individual project, FWF Esprit) Further developing your academic profile through