Applied Scientist, Automated Reasoning & Verification
-
Research/Development
Job Description & How to Apply Below
Amazon Development Center U.S., Inc. in Seattle is seeking an Applied Scientist in the AWS Automated Reasoning group to advance automated reasoning, formal methods, and neurosymbolic approaches for safety, security, and correctness of code and services.
You will collaborate with leading researchers on scalable verification techniques, contribute to production-grade tools, publish findings, and mentor teammates while impacting customer trust and system reliability.
We are currently recruiting a Applied Scientist, Automated Reasoning & Verification for our team in Seattle, WA, United States.
We aim to respond to suitable candidates as soon as possible.
Full responsibilities and requirements are described in the listing above.
Learn more about the Applied Scientist, Automated Reasoning & Verification role in the description above.
We appreciate your interest in this position.
Join Amazon Web Services (AWS) and contribute to our ongoing work.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
View / Apply for Jobs
Matching My Jurisdiction