Applied Scientist - Automated Reasoning & Verification

...Amazon Development Center U.S., Inc. is seeking Applied Scientists in AWS Automated Reasoning to develop formal methods, automated reasoning techniques, and neuro-symbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services. The work...