3 programming-"Prof" "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 | about 8 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 | 15 days 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

PhD position in remote sensing using satellite communication networks

Chalmers University of Technology | Sweden | 2 months ago

. Good skills in programming (e.g. Matlab, Python, C/C++) Strong written and verbal communication skills in English The following experience will strengthen your application: Experience with radars