Senior Software Engineer, Automated Reasoning & AI (Seattle)

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

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.