- Leidos (Arlington, VA)
- …in the development, adaptation, and extension of innovative approaches and solutions in automated reasoning applied research. The focus of this research ... **Description** Leidos is looking for a senior research scientist in formal methods and cyber-physical systems who...logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools and/orconducting applied … more
- Leidos (Arlington, VA)
- …logic and higher-order logic, proof assistants, solvers, or other automated reasoning tools + Experience conducting applied research areas of CPS such ... **Description** Are you a motivated Principal Software Scientist with a technical vision and hands-on knowledge...solutions to challenging problems of interest to the Defense Applied Research Projects Agency (DARPA) and US Department of… more