Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
, Uncertainty, and Dynamics.” About the Project Market interaction is increasingly automated by artificial learning agents. Examples include pricing agents in electronic retail or bidding agents in display
-
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/prof-dr-ing
-
: 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
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 of Information-Oriented
-
you can design the next-level EV? Become part of our Electric Vehicle Lab at the Institute of Automotive Technology and actively shape the future of mobility! About us The Electric Vehicle (EV) Lab