34 software-formal-method-phd Postdoctoral research jobs at UNIVERSITY OF VIENNA in United Kingdom
Sort by
Refine Your Search
-
the successful software package VASP (Vienna ab-initio Simulation Package). Currently, the group consists of two full professors, one associate professor, several postdocs and about 10 PhD and master students
-
field. You love working on hard problems that live at the boundary of theoretical method and computational software development. You enjoy working in a team where you contribute your expertise and skill
-
Methods in Psychology, Department of Occupational, Economic and Social Psychology, the Department of Applied Psychology: Work, Education and Economy, Department of Developmental and Educational Psychology
-
at the interface of Quantum Information and Computation with the study of Complex Quantum Many-Body Systems. For this, we apply a combination of methods from both Mathematics and Physics, complemented by concepts
-
knowledge with Master’s and PhD students. You will actively contribute your expertise to the acquisition of third-party funding and independently advance the "AAAging" project. The independent teaching of
-
of mathematical proof automation: You identify and address research questions in the field of mathematical automation in numerical analysis or approximation theory. You implement the developed methods in Lean. You
-
in research, teaching and administration. This is part of your personality: Completed doctoral/PhD studies in the field of Economic/Human Geography or a related discipline Outstanding dissertation
-
analysis of PDEs (with deterministic and/or stochastic methods), Gaussian Random Fields, mathematical foundations of deep learning, functional analysis and measure theory. You can find more information about
-
. You take on appropriate administrative tasks at the Department. This is part of your personality: Expected are... completed doctoral/PhD studies in Catholic theology scientific knowledge in the field
-
understanding of the impact of food- and environment-related toxicants on human health. Innovative mass spectrometric methods are developed and applied to investigate exposure, metabolism, and toxicity. The lab