• Applied Scientist , Automated

    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 (01/10/25)
    - Save Job - Related Jobs - Block Source
  • Applied Scientist , Automated

    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 (12/20/24)
    - Save Job - Related Jobs - Block Source
  • Principal Applied Scientist , Neuron…

    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
    Amazon (02/08/25)
    - Save Job - Related Jobs - Block Source