-
formal methods. The successful candidate will contribute to advancing data-driven modeling techniques that enable formal safety guarantees for complex dynamical systems such as autonomous vehicles
-
of Infectious Disease Dynamics (IMMIDD; uni-muenster.de/IMMIDD ) at the University of Münster, and is one of the partners in the Modeling Network for Severe Infectious Diseases (MONID; monid.net ) in Germany
-
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://mediatum.ub.tum.de/doc
-
Models, LLMs, etc. PhD and PostDoc Positions in Visual Computing & AI The Visual Computing & Artificial Intelligence Group at the Technical University of Munich is looking for highly motivated PhD students
-
: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification, building model checkers
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
Control we focus on research and teaching of control and optimization of cooperative, networked, and distributed dynamical systems. We develop novel methods and tools for the analysis and control
-
: robert.wille@tum.de Web: https://iic.jku.at/eda/team/wille/ The position is suitable for disabled persons. Disabled applicants will be given preference in case of generally equivalent suitability, aptitude and