Carnegie Mellon University
Pittsburgh, PA, USA
Full time 2017914
The SEI’s Formal Verification of Cyber-physical Systems (FV-CPS) initiative creates and applies state-of-the-art techniques, theories, tools, and prototypes to improve the state of the practice for the development of predictably trustworthy cyber-physical systems that can operate in changing and uncertain conditions. We are looking for a driven researcher to join a team of experienced engineers and researchers to develop solutions for assurance of autonomous cyber-physical systems.
Duties:
Developing solutions for assurance of autonomous systems bridging the gap between the state of the art and the state of the practice
Conducting research to advance the state of the art in assurance of autonomous systems
Leading small projects
Contributing to diverse teams composed of colleagues, customers, and others, to deliver solutions
Requirements:
BS in Computer Science or related discipline with eight (8) years of experience; OR...