- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for an Applied Scientist with interest in building scalable machine learning systems. You will be ... team building the next generation of neuro-symbolic tools and services by combining Automated Reasoning and Machine Learning. AWS has the most services and… more
- Amazon (Cupertino, CA)
- Description The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial ... underpinning of Generative AI. In this role as an Applied Scientist , you'll be instrumental in designing,...Experience in professional software development - Publication record in automated reasoning or compiler construction - Knowledge… more
- Amazon (Austin, TX)
- …of AWS innovation for advanced ML capabilities, powering solutions like Generative AI. The Automated Reasoning Group in the AWS Neuron Compiler team works on the ... the code quality bar in compiler stack. In this role as an Applied Scientist , you'll be instrumental in designing, developing, and deploying analyzers for ML… more
- 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