Research Scientist – Formal Methods

The Secure and Resilient Systems group seeks a research scientist to support research and development of cutting-edge formal methods applied to software systems. The research scientist will support a team that invents, prototypes, and evaluates new formal methods and software security approaches throughout the systems software stack.

Requirements

• Bachelor's degree in a related technical field such as computer science, computer engineering, electrical engineering or cybersecurity
• Familiarity with formal methods
• Experience with low-level software including C and assembly code
• Software development fundamentals for working inside a large project
• Communication and creative skills
• Fluency in various programming languages, and strong background in programing languages, algorithms, and data structures fundamentals
• Top Secret security clearance required

Benefits

• Comprehensive compensation and benefit packages