PhD student position in Formal Verification of Auto..

Chalmers Tekniska Högskola AB

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

Autonomous cyber-physical systems (ACPS) have great potential to improve our ways of life, increasing mobility, cutting costs, and saving lives. Considering the complexity of the environments these systems operate in, ACPS increasingly rely on data-driven learning-enabled components to perform a variety of challenging decision-making tasks. While indispensable for autonomy, learning-enabled components are...