- 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...of our US Amazon offices. About the team The Socrates team is a talented group of automated… more