59 density-functional-theory-dft 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
-
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
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
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
-
also on power systems in the CoSES lab at the Technical University of Munich. Previous Work https://mediatum.ub.tum.de/doc/1731060/g5zgxaj96lcyhh8gh6le1xbuu.Wetzlinger-2023-TAC.pdf https
-
communication theory, as well as in quantum coding theory ▪ Interest in theoretical work with high practical relevance ▪ Interest in demonstrating research results on a hardware platform ▪ Software: Experience