3 approximation-theory-"Prof" PhD positions at Chalmers University of Technology in Sweden

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | 2 days ago

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

PhD student in Intelligent, Learning-based Optimization for Sustainable Electromobility

Chalmers University of Technology | Sweden | about 1 month ago

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

PhD Student Position in Safe, Interpretable, Learning-Based Motion Planning and Control

Chalmers University of Technology | Sweden | about 1 month ago

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