Find your next role

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 to lead teams that are innovating rapidly, and 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 to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others.

This role offers the opportunity to work alongside world-class technical and scientific leaders in the automated reasoning discipline.

Key job responsibilities
This position requires excellent people skills and the ability to motivate software professionals to deliver results. It requires an ability to understand distributed systems, software design and experience with multiple parallel delivering projects owned by smaller independent pods. Knowledge of AWS services and software development tooling with good communication skills are also preferred.

Key areas of focus include:

- 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.

A day in the life
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 software architecture, operational issues, and generally ensuring the software is meeting a high quality bar. You will engage with internal customer teams to understand their reasoning workloads and unblock adoption, troubleshoot integration issues, and plan capacity for growing usage patterns.