Senior SDE, Cloud AI Reasoning & Verification

Amazon; Seattle (WA); On-site; USD 168,000 - 227,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

RSUs

Job summary

Amazon in Seattle, WA seeks a Senior Software Development Engineer to build and operate a cloud-hosted automated reasoning platform for AWS. You will design scalable distributed systems, optimize solvers, and create robust APIs to support verification tasks across services.

The role blends deep systems engineering with automated reasoning, collaborating with AR scientists and customers to deliver reliable, production-ready capabilities and high-impact outcomes at scale.

Qualifications

• 5+ years of non-internship professional software development experience.
• 5+ years of programming with at least one software programming language experience.
• 5+ years of leading design or architecture of new and existing systems.
• Experience as a mentor, tech lead or leading an engineering team.

Responsibilities

• Design and implement core components of the managed cloud automated reasoning service, including query routing, solver orchestration, result caching, and soundness management.
• Build and maintain high-availability, low-latency distributed systems that meet AWS's operational excellence standards.
• Develop and evolve the service API to reduce friction for customers migrating from local solvers, and to support new reasoning use cases (including Agentic AI correctness verification).
• Partner with Automated Reasoning scientists to translate research advances in solver technology into production-ready capabilities.
• Drive operational excellence—own on-call responsibilities, build monitoring and alerting, automate deployments, and continuously improve service reliability.
• Mentor junior engineers, contribute to technical design reviews, and raise the bar on engineering practices across the team.
• Work with internal AWS customer teams to understand their reasoning workloads, troubleshoot integration issues, and optimize performance for their use cases.

Skills

Distributed systems design

Mentor / tech lead

Programming languages

Leadership experience

Education

Bachelor's degree in computer science or equivalent

Job description

Amazon in Seattle, WA seeks a Senior Software Development Engineer to build and operate a cloud-hosted automated reasoning platform for AWS. You will design scalable distributed systems, optimize solvers, and create robust APIs to support verification tasks across services.

The role blends deep systems engineering with automated reasoning, collaborating with AR scientists and customers to deliver reliable, production-ready capabilities and high-impact outcomes at scale.