Job Description
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.
We are seeking a talented and passionate Software Development Manager who wishes to work at the intersection of Automated Reasoning and cloud-scale service delivery, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.
As the SDM leader, you will oversee and direct a software engineering team focused on building, scaling, and operating a cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale—providing soundness management, high availability, and a simplified developer experience compared to running local solvers. You will drive adoption of this service across AWS, evolve the API surface to mee...
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.
We are seeking a talented and passionate Software Development Manager who wishes to work at the intersection of Automated Reasoning and cloud-scale service delivery, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.
As the SDM leader, you will oversee and direct a software engineering team focused on building, scaling, and operating a cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale—providing soundness management, high availability, and a simplified developer experience compared to running local solvers. You will drive adoption of this service across AWS, evolve the API surface to mee...