Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Technical University of Munich
- Leibniz
- Max Planck Institute for Multidisciplinary Sciences, Göttingen
- Nature Careers
- Forschungszentrum Jülich
- Fraunhofer-Gesellschaft
- Max Planck Institute for Mathematics in the Sciences
- Max Planck Institute for the Structure and Dynamics of Matter, Hamburg
- Max Planck Institute for the Study of Crime, Security and Law, Freiburg
-
Field
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
Searches related to approximation theory
Enter an email to receive alerts for approximation-theory positions