2 numerical-modelling "https:" Postdoctoral positions at Technical University of Munich
-
Methods, LBM), and HPC. For a selection of possible research areas, see: https://www.math.cit.tum.de/math/forschung/gruppen/numerical-analysis/research/ Responsibilities: Development and analysis of new
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
Enter an email to receive alerts for numerical-modelling "https:" positions