2 programming-"Prof"-"Fermilab"-"ETH-Zurich"-"Washington-University-in-St" PhD positions at Chalmers University of Technology

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

Chalmers University of Technology | Sweden | about 21 hours ago

implementation. About the project Reactive synthesis refers to the automatic generation of programs from high-level behavioral specifications. This approach plays an increasingly important role in areas such as

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

Chalmers University of Technology | Sweden | about 1 month ago

performance are expected. Required qualifications: Proficiency in programming (primarily Python or MATLAB) Strong communication and collaboration skills, including the ability to work across research groups and