- 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