Software Development Manager, AWS AI Agentic Automated Reasoning; AR

Overview

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. At Amazon, we also expect software managers to interact with internal and external customers, to understand our business goals, and to lead teams that are innovating rapidly, delivering high‑quality and ground‑breaking functionality while maintaining a high operational bar.

What does it take to thrive as a software manager at AWS?
You need to be creative, responsible, and curious while working with other leaders to move strategically to solve customer problems. You solve short‑term challenges incrementally to deliver the long‑term vision. You are driven to deliver and you’re excited about rolling up your sleeves, implementing big ideas. You want the opportunity to grow your technical and professional skills while helping AWS grow.

You relish the opportunity to dig into challenging operational issues and help customers build the next generation of applications. You’re someone who knows how to be both productive and have fun with others.

• Leading the engineering team that builds and operates a cloud‑based automated reasoning service, ensuring it meets AWS availability, latency, and correctness standards.
• Driving the roadmap for the service’s API surface, including evolving the interface to reduce friction for customers migrating from local solvers.
• Partnering with Automated Reasoning scientists to translate research advances in solver technology into production‑ready capabilities.
• Working with internal AWS service teams to drive adoption, gather requirements, and ensure the platform scales to meet growing demand.
• Owning operational excellence—on‑call practices, incident response, deployment pipelines, and continuous improvement of the service’s reliability posture.
• Building and growing a high‑performing engineering team through hiring, mentoring, and career development.
• Requisite experience: 3+ years of engineering team management, 7+ years of engineering experience, 8+ years of leading the definition and development of multi‑tier web services, 3+ years of Software Engineer or related occupational experience, 1+ year of providing technical leadership and project management across the software development lifecycle, 1+ year of developing large‑scale, multi‑tiered distributed software systems using Java, C#, or C++, 1+ year of developing such systems using service‑oriented architecture and distributed programming, a bachelor’s degree or foreign equivalent in Computer Science, Engineering, Mathematics, or a related field, knowledge of practices and patterns for the full software/hardware/networks development life cycle, and experience partnering with product or program management teams.

A typical day for this SDM may include working with science peers and product management to align on priorities and roadmap. Discuss and meet with team members to review their work, progress, and contribution to the roadmap. Participate in design reviews and lead possible deep dives into…