Career Center

Position Summary: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 practiceConducting research to adv