3 ic-verification 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 | 38 minutes ago

the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical

PhD student position in Formal Verification of Autonomous Cyber-Physical Systems

Chalmers University of Technology | Sweden | 3 months ago

correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools

PhD position in remote sensing using satellite communication networks

Chalmers University of Technology | Sweden | 3 months ago

develop innovative remote sensing capabilities to monitor oceans, ice, vegetation, and natural disasters. Be part of a dynamic, international team shaping the future of environmental monitoring! About us At