- Amazon (Portland, OR)
- Description The Automated Reasoning Group in AWS Platform is looking for an Applied Scientist with experience in building scalable solver solutions that ... of a world-class team building the next generation of automated reasoning tools and services. AWS has...cloud and in the cloud. See https://aws.amazon.com/security/provable-security/ As an Applied Scientist in AWS Platform, you will… more
- Amazon (Portland, OR)
- …provably correct? If so, then we have an exciting opportunity for you to leverage Automated Reasoning techniques across EC2 and EC2 Networking. In this role, you ... will interact with internal teams and external customers to understand their networking requirements. You will apply your knowledge to propose solutions, create software prototypes, and productize prototypes into production systems using software development… more