- Amazon (Arlington, VA)
- …The Bespoke Solutions group in AWS Region Services is looking for a Principal Applied Scientist to help define and drive formal verification of hardware, ... device from the ground up and will help drive automated reasoning methods to deliver strong security...at scale. 10012 Key job responsibilities As a Principal Applied Scientist in the Bespoke Solutions Group… more
- Amazon (Arlington, VA)
- Description As a Senior Applied Scientist on our Agentic AI Professional Services Experience team, you will be instrumental in advancing the frontier of ... models for agent decision-making, natural language understanding, and contextual reasoning - Conduct proof-of-concept development, experimentation, optimization, and production… 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 Resilient Systems 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