- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that ... the next generation of tools and services by combining Automated Reasoning and Generative AI. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will… more
- Amazon (Seattle, WA)
- …implement state-of-the-art solutions for never-before-solved problems in the space of Automated Reasoning and Artificial Intelligence. A successful candidate ... to work in a fast-paced, ever-changing environment. As an Applied Scientist , you will own the design...responsibilities * Develop systems that can be used for automated software analysis and artificial intelligence * Develop core… more
- Amazon (Seattle, WA)
- …Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create ... products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions,… more
- 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 (Seattle, WA)
- Description The Automated Reasoning Group in the AWS Neuron Compiler team is looking for a Senior Applied Scientist to work on the intersection of ... is the underpinning of Generative AI. In this role as a Senior Applied Scientist , you'll be instrumental in designing, developing, and deploying analyzers for ML… more
- Amazon (Seattle, WA)
- …partners to meet their long-term sustainability goals and commitments. We are seeking an Applied Scientist to join our AI and Sustainability team, which builds ... of AI and progress toward our Climate Pledge sustainability commitments. As an Applied Scientist , you'll be responsible for designing, implementing and deploying… more
- Amazon (Seattle, WA)
- …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
- Amazon (New York, NY)
- …internal and external users to understand their requirements for formal verification and automated reasoning . * Enhance and extend the capabilities of formal ... responsibilities * Design and implement scalable systems for formal reasoning and automated theorem proving. * Collaborate...reasoning systems to meet application-specific demands. * Proactively identify… more
- Leidos (San Diego, CA)
- …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