Sr. Software Development Engineer, Agentic AI

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

Job summary

Amazon Development Center U.S., Inc. is seeking a Senior Software Engineer to advance automated reasoning and code verification within AWS services. The role is based in Seattle, WA, and involves leadership in design and reliability across critical systems.

You will work with SAT/SMT solvers and Lean to build safe, correct software, mentor teams, and drive architectural decisions while delivering scalable solutions for customers and partners.

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 (design patterns, reliability and scaling) of new and existing systems experience.
• Experience as a mentor, tech lead or leading an engineering team.
• Bachelor's degree in computer science or equivalent.

Responsibilities

• Apply formal reasoning methods for code correctness and agent safety.
• Lead design and technical direction for AWS service initiatives.
• Provide technical leadership in automated reasoning and verification.
• Collaborate with cross functional teams to deliver reliable systems.

Skills

Software development experience

Programming expertise

Design/architecture leadership

Mentor / tech lead

Education

Bachelor's degree in computer science

Tools

Lean

SAT/SMT solvers

Job description

Description

We are building new capabilities in the Amazon Web Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services such as code correctness and Agent action safety. The position is based in Seattle, Washington.

We are building new capabilities in the Amazon Web Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services such as code correctness and Agent action safety. The position is based in Seattle, Washington.

We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning, AI and AWS services. This team will specifically work on code verification using automated reasoning including building agents and using reasoning tools.

As a Senior Software Engineer on this team, you will become an expert on applying formal reasoning methods for code correctness and agentic safety. This includes technologies such as SAT/SMT solvers and Lean, a leading open-source functional programming language and interactive theorem prover designed for formal verification, mathematics, and high-performance software development and provide technical leadership on a new AWS service.

What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You’re excited about rolling up your sleeves, implementing big ideas, and learning from those around you. 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 also offers the opportunity to work alongside world class technical and scientific leaders in the automated reasoning discipline.

Basic 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 (design patterns, reliability and scaling) of new and existing systems experience
• Experience as a mentor, tech lead or leading an engineering team

Preferred Qualifications

• 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

Company

Amazon Development Center U.S., Inc.

Job ID: A10528710