- Amazon (Portland, OR)
- …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 (Portland, OR)
- …in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As a Senior Applied Scientist in AWS AI, you will play a ... Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight… more
- Amazon (Portland, OR)
- …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