Sort by
Refine Your Search
-
conducted in close collaboration with Everllence (formally known as MAN Energy Solutions). The developed methods have to be tested in simulation and on real engines. Previous Work https://openreview.net/pdf
-
are integrated into the junior faculty of the Department of Economics at LMU. The position has no formal teaching obligation; however, limited teaching is encouraged. Candidates should hold a PhD in economics or
-
Learning Formal Methods Dynamical Systems Control Theory Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members/prof-dr-ing-matthias-althoff
-
finite elements) as well as alternative discretization methods (e.g., Lattice Boltzmann Methods), and high-performance computing. A selection of possible research areas can be found on our website: https
-
Max Planck Institute of Molecular Cell Biology and Genetics | Dresden, Sachsen | Germany | about 1 month ago
Dresden . Your responsibilities: Drive independent and collaborative research in applied topology within the group’s thematic focus. Develop and refine methods to address new mathematical questions
-
: Dynamical Systems Control Theory Formal Methods Reachability Analysis Computational Geometry Context The applicant will be directly advised by Prof. Matthias Althoff (https://www.ce.cit.tum.de/cps/members
-
- PhD student in quantitative verification interested in co-developing Automata Tutor - main developer of Automata Tutor Positions in the Formal Methods for Software Reliability group of TU Munich led by