- Amazon (Santa Clara, CA)
- …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 (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 (Cupertino, CA)
- …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