- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification ... more
- Amazon (Boston, MA)
- Description Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop ... 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 ... 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 ... more