3 group-theory PhD positions at Chalmers University of Technology

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

Chalmers University of Technology | Sweden | about 2 months ago

with real-world applications, in collaboration with Volvo Cars and Volvo Group. This is an ideal position for candidates interested in interpretable AI, safety guarantees, and high-impact research in

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

Chalmers University of Technology | Sweden | about 2 months ago

for a PhD position that combines research in the field of intelligent mission planning and learning-based optimization with real-world applications, in collaboration with Volvo Group. This is an ideal

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

Chalmers University of Technology | Sweden | 16 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