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. As AI workloads become more prevalent, the ones having accurate results will be differentiated from others.
We are seeking a talented and passionate Senior Software Development Engineer (
SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale
distributed systems, building and operating managed reasoning infrastructure that powers correctness guarantees across
AWS.
As a Senior
SDE on the ATR team, you will design, build, and operate Amazon's cloud-hosted automated reasoning platform that enables
AWS services to offload satisfiability and verification queries at scale. You will work on challenges spanning
distributed systems, solver performance optimization,
API design, and service reliability. Your work will directly enable customers to verify correctness of software, infrastructure configurations, and AI-generated code at
AWS scale.
This is a unique opportunity to combine deep systems engineering with automated reasoning technology. You'll work alongside world-class scientists and engineers to turn research breakthroughs in solver technology into production services that power correctness guarantees for millions of customers. The problems are hard, the impact is enormous, and the team is small enough that your contributions will be highly visible.
Key job 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.
A day in the life
A typical day may include diving deep into a
distributed systems design for a new feature, collaborating with AR scientists on integrating a solver optimization, reviewing code from teammates, debugging a latency issue in the query pipeline, or meeting with a customer team to understand their verification needs. You'll balance hands-on coding with technical leadership—writing design documents, leading architecture discussions, and mentoring others. You might also participate in operational reviews, work on automating deployment pipelines, or prototype a new approach to scaling solver workloads.
- 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 (design patterns, reliability and scaling) of new and existing systems experience
- Experience as a mentor, tech lead or leading an engineering team
- 5+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
- Bachelor's degree in computer science or equivalent
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit
https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.
The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including 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, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
USA, WA, Seattle - 168,100.00 - 227,400.00 USD annually