Sort by
Refine Your Search
-
these questions through an interdisciplinary lens, with a strong focus on mathematical and computational methods closely connected to evolutionary theory and biological data. Read more about our research themes and
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
-
Are you passionate about advancing sustainable mobility solutions? Do you enjoy working at the intersection of artificial intelligence, optimization, and energy management? We invite applications
-
Engineering and Autonomous Systems division . We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and learning