-
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
-
postdocs at Chalmers, and collaborate with academic and industrial partners in Sweden and internationally. The role also offers opportunities for travel and engagement with external collaborators. Research
-
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
-
Technology Laboratory (QTL) division of the Microtechnology and Nanoscience (MC2) department, working in a large team of PhDs, postdocs and researchers. About the research We are seeking PhD students to work
-
of robotics, electromobility and autonomous driving. We offer advanced PhD courses where we extend the fundamentals in optimal control, machine learning, probability theory and similar. The research and