- Amazon (Boston, MA)
- …AWS Utility Computing is looking for a Senior Applied Scientist with experience in building scalable automated reasoning solutions that delight ... cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities As a Senior Applied Scientist , you will help shape the… more
- Amazon (Boston, MA)
- …formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...- 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 a Senior Applied Scientist with expertise in programming language semantics and deductive ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more