Principal Research Scientist - Formal Methods
Arlington, Virginia, United States
Leidos
Description Leidos Innovations Center is looking for a principal research scientist in the areas of formal methods and cyber-physical systems (CPS) who has a proven track record in developing state-of-the-art automated reasoning technologies that enable production of high-assurance software and software more »
Employment Type: Permanent
Salary: USD Annual
Posted: