- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will...solutions across various domains. About the team The AWS Lean team is a talented group of scientists from… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... 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 pivotal role… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight ... in security of the cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS AI, you will play a pivotal role… more
- Amazon (Portland, OR)
- …verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning ... organization that develops formal software analysis tools (eg, Dafny, Lean ) and applies them to software at all levels...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Portland, OR)
- Description The Automated Reasoning Group is looking for an Applied Scientist to formally verify high-performance cryptographic algorithms as well as develop the ... performance. Basic Qualifications - PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++, Python or related… more