23 formal-verification-computer-science Postdoctoral positions at UNIVERSITY OF VIENNA
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
-
"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
-
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
-
. 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
-
: 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
-
to the study and teaching of the language and literature of ancient Greece and Rome, including Late Antiquity, as well as the late, medieval, and Neo-Latin language and literature. At the core of the program is
-
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