64 density-functional-theory Postdoctoral positions at Technical University of Munich
Sort by
Refine Your Search
-
. The position is based within the research group of Deniz Kus, Professor for Representation Theory at the Department of Mathematics, part of the TUM School of Computation, Information and Technology (CIT
-
01.07.2025, Wissenschaftliches Personal The position is based within the research group of Deniz Kus, Professor for Representation Theory at the Department of Mathematics, part of the TUM School
-
technologies to fundamental physics questions. The advertised positions will be part of the project “QS-Gauge: quantum simulation of lattice gauge theories”, funded by the Emmy Noether programme of the DFG
-
goals set by the International Maritime Organization. Moreover, AI can simulate and evaluate countless operational scenarios, helping ship operators make informed decisions that balance performance with
-
programming experience; apply by sending CV and transcripts to alanwar@tum.de About the Role: Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
verification problem compared to verifying a neural network with millions of neurons. We will also use the feedback of the safety layer to improve the learning rate by excluding provably unsafe actions during
-
for two years, with the possibility of extension, depending on performance and project needs. Qualifications • For Doctoral Candidates: Master’s degree in Computer Science or Mathematics. • For Postdoctoral
-
Mathematics (analysis, numerics, modeling) or in a comparable program with a strong mathematical focus and knowledge in, for example, functional analysis as well as the theory and numerics of PDEs. Strong
-
and control system for real-time control and operation at autonomy level 3 as defined by the International Maritime Organization (IMO 1). The control system to be developed will almost completely avoid