- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification ... programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible… 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 ... You will work with a team of world class automated reasoning experts to deliver code ...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Boston, MA)
- …The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive verification ... You will work with a team of world class automated reasoning experts to deliver code ...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… 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