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

Amazon • Seattle, WA

2d • Onsite

About The Position

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.

Requirements

• 3+ years of engineering team management experience
• 7+ years of engineering experience
• 8+ years of leading the definition and development of multi tier web services experience
• 3+ years of Software Engineer, Software Developer, or related occupational experience
• 1+ years of providing technical leadership and project management for all aspects of the software development lifecycle experience
• 1+ years of developing large-scale, multi-tiered distributed software systems using Java, C#, or C++ experience
• 1+ years of developing large-scale, multi-tiered distributed software systems using service-oriented architecture experience
• 1+ years of developing large-scale, multi-tiered distributed software systems using distributed programming experience
• Bachelor's degree or foreign equivalent in Computer Science, Engineering, Mathematics, or a related field
• Knowledge of engineering practices and patterns for the full software/hardware/networks development life cycle, including coding standards, code reviews, source control management, build processes, testing, certification, and livesite operations
• Experience partnering with product or program management teams

Nice To Haves

• Experience in communicating with users, other technical teams, and senior leadership to collect requirements, describe software product features, technical designs, and product strategy
• Experience in recruiting, hiring, mentoring/coaching and managing teams of Software Engineers to improve their skills, and make them more effective, product software engineers
• Knowledge of AWS services and software development tooling with good communication skills are also preferred.

Responsibilities

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

Benefits

• health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
• 401(k) matching
• paid time off
• parental leave
• sign-on payments
• restricted stock units (RSUs)

What This Job Offers

• Job Type: Full-time
• Career Level: Manager