- Leidos (Beavercreek, OH)
- …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