Description
We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. The position is based in Seattle, Washington. As AI workloads become more prevalent, the ones having accurate results will be differentiated from others.

We are seeking a talented and passionate Senior Software Development Engineer (SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale distributed systems, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.

As a Senior SDE on the ATR team, you will design, build, and operate Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will work on challenges spanning distributed systems, solver performance optimization, API design, and service reliabi...