Applied Scientist: Automated Reasoning & Verification
Listed on 2026-10-17
-
Research/Development
Research Scientist, Data Scientist
Amazon Development Center U.S., Inc. seeks Applied Scientists to advance automated reasoning, formal verification, and neurosymbolic approaches across AWS services. You will work on verification for cloud infrastructure, cryptographic assurance, and AI safety, influencing products and customer trust.
You will mentor researchers, collaborate with partner teams, and publish in peer-reviewed venues while delivering production-grade solutions at Amazon scale.
For the Applied Scientist:
Automated Reasoning & Verification position at Amazon Inc., we are reviewing applications now.
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 Inc. and contribute to our ongoing work.
Take a moment to read everything above and see whether this role is right for you.
(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).