Software Development Manager, AWS AI Agentic Automated Reasoning (AR)

Job 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 meet diverse customer needs, and ensure the platform meets AWS's operational excellence bar. Delivering reliable and high-performance software at Amazon/AWS scale requires engineers with extraordinary technical expertise and boundless creativity and we need an equally talented software development manager to lead them. At Amazon, we also expect software managers to interact with internal and external customers, to understand our business goals, and…