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