- 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 ... 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 ... 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 ... more