Amazon.com Services LLC

Technology

SoftwareDevelopmentManager,AWSAIAgenticAutomatedReasoning(AR)

$184–250k Seattle, Washington, United States FULL TIME
Market Sentiment
HIGH DEMAND

Neural analysis suggests this role is
optimal for Manager candidates.

The Brief

“Software Development Manager, AWS AI Agentic Automated Reasoning (AR) at Amazon.com Services LLC. Skills: Automated Reasoning, Cloud services, Team management. Oversee and direct software engineering team. Build, scale, and operate cloud-hosted automated reasoning platform”

Industry & Context.

Technology
Problems you'll solve

Solve customer problems; Solve short term challenges; Dig into challenging operational issues; Troubleshoot integration issues

What They're Looking For.

Must Have

3+ years engineering team management, 7+ years engineering experience, 8+ years leading definition and development of multi tier web services, 3+ years Software Engineer or related occupational experience, 1+ years technical leadership and project management for software development lifecycle, 1+ years developing large-scale, multi-tiered distributed software systems using Java, C#, or C++, 1+ years developing large-scale, multi-tiered distributed software systems using service-oriented architecture, 1+ years developing large-scale, multi-tiered distributed software systems using distributed programming, Bachelor's degree or foreign equivalent in Computer Science, Engineering, Mathematics, or related field, Knowledge of engineering practices and patterns for full software/hardware/networks development life cycle, Experience partnering with product or program management teams

Nice to Have

Experience communicating with users, other technical teams, and senior leadership, Experience recruiting, hiring, mentoring/coaching, and managing Software Engineers

What You'll Do.

Oversee and direct software engineering team

and operate cloud-hosted automated reasoning platform

Enable AWS services to offload satisfiability and verification

Provide soundness management

and simplified developer

Drive adoption of service across AWS

Evolve API surface to meet customer needs

Ensure platform meets AWS operational excellence bar

Lead engineering team building and operating cloud based

Ensure service meets AWS availability

Drive roadmap for service's API surface

Evolve interface to reduce friction for customers

Partner with Automated Reasoning scientists to translate research

Translate solver technology into production-ready capabilities

Work with internal AWS service teams to drive

Ensure platform scales to meet growing demand

Own operational excellence

Manage on-call practices

Manage incident response

Manage deployment pipelines

Improve service's reliability posture

Build and grow high-performing engineering team

Develop engineers' careers

Align on priorities and roadmap with Science peers

Discuss and meet with team members

and contribution to roadmap

Participate in design reviews

Lead deep dives into software architecture

Lead deep dives into operational issues

Ensure software meeting high quality bar

Engage with internal customer teams

Understand customer reasoning workloads

Troubleshoot integration issues

Plan capacity for growing usage patterns

How You'll Work.

Team & Collaboration

Work with other leaders; Partner with product or program management teams; Work with Science peers; Work with Product management; Work with internal AWS service teams; Engage with internal customer teams

Communication Scope

Communicate requirements; Describe product features; Describe technical designs; Describe product strategy

Process & Methodology

Project management, Roadmap planning

Full 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 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 s

Free ATS check

Applying for this Software Development Manager, AWS AI Agentic Automated Reasoning (AR) role?

Most applicants get filtered before a human reads their resume. See if yours makes the cut.

ANONYMOUS · UNFILTERED

What do employees actually say about Amazon.com Services LLC?

Real rants from real employees. Read before you apply.

Read Company Rants →