Sort by
Refine Your Search
-
primarily geared towards helping young female researchers and mothers to advance their career. See the link below for some examples: https://www.demogr.mpg.de/go/career-development.For inquiries about the
-
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/ ). Besides excellent
-
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
-
: 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
-
: - QUANTITATIVE VERIFICATION: analysis of probabilistic systems (Markov decision processes, stochastic games, chemical reaction networks), automata theory and temporal logic, machine learning in verification
-
PhD/Postdoc position in trustworthy data-driven control and networked AI for rehabilitation robotics
approaches for sustainability, new concepts for security and solutions for current latencies in communication networks. Find out more about the project under https://6g-life.de/ About us: At the Chair