29 fixed-point-theory Postdoctoral positions at Technical University of Munich in Germany
Sort by
Refine Your Search
-
] Subject Area: Representation Theory Appl Deadline: 2025/07/31 11:59PM (posted 2025/07/01) Position Description: 2025/09/30 11:59PM Position Description The TUM School of Computation, Information and Technology
-
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
-
12.05.2025, Wissenschaftliches Personal PostDoc- und Promotionsstellen in der Theorie der Quantensimulation Dauer: 2 - 3 Jahre (PostDoc) & 3 - 4 Jahre (Promotion) Ort: School of Natural
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
central importance for global trade. Much of it is based on the transportation of goods by large container ships. These are not very flexible due to fixed routes, cause environmental problems and are prone
-
Researchers: Ph.D. in Computer Science or Mathematics, ideally with a background in one or more of the following areas: Optimization, Game Theory, Machine Learning Applicants must demonstrate: • An excellent
-
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
-
that algorithmic parameters are tuned so that the over-approximation of the computed reachable set is small enough to verify a given specification. We will demonstrate our approach not only on ARCH benchmarks, but
-
mobility systems through practical and laboratory tests as well as sophisticated simulations. We not only publish research results gained at numerous conferences and in journals, but also make our software
-
and physiological function of specific transport proteins in heterologous expression systems in crops and (trans-genic) model plants. • A unique set of Arabidopsis and barley transporter “mutants