30 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
-
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
-
"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
-
that analyses the interactions of science, technology, and society. The department offers the English language master program 'Science, Technology, Society', as well as a number of course formats for
-
39 Faculty of Computer Science Startdate: 07.09.2025 | Working hours: 20 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 07.07.2026 Reference no.: 4408 The position
-
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
-
. The Department is also part of the Austrian Science Fund Cluster of Excellence "EurAsian Transformations" and hosts both the Center for Interdisciplinary Research and Documentation of Inner and South Asian
-
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
-
. 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