Senior Software Engineer, Automated Reasoning & AI (Seattle)

Amazon Web Services (AWS)

Seattle (WA)

On-site

USD 168,000 - 227,000

Full time

7 days ago
Be an early applicant
Application generator

A complete application in a minute — tailored resume and cover letter, ready to send.

Get past ATS filters

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.

Get your free, confidential resume review.

or drag and drop your file here.

Similar jobs

Similar jobs worth comparing

Senior Software Engineer — AI & Formal Verification
Senior Software Engineer — AI & Formal Verification

Amazon • Seattle (WA)

On-site
USD 168,000 - 227,000
Health insurance
401(k) matching
Paid time off
+1
Applied Scientist, Automated Reasoning & AI Safety
Applied Scientist, Automated Reasoning & AI Safety

Amazon Web Services (AWS) • Seattle (WA)

On-site
USD 167,000 - 226,000
Senior Software Engineer, Automated Reasoning
Senior Software Engineer, Automated Reasoning

Amazon Web Services (AWS) • New York (NY)

On-site
USD 180,000 - 240,000
Health insurance
Medical
Dental
+14
Sr. Software Development Engineer, Agentic AI
Sr. Software Development Engineer, Agentic AI

Amazon Web Services (AWS) • Seattle (WA)

On-site
USD 168,000 - 227,000
Sr. Software Development Engineer, Agentic AI
Sr. Software Development Engineer, Agentic AI

Amazon • Seattle (WA)

On-site
USD 168,000 - 227,000
Health insurance
401(k) matching
Paid time off
+1
Applied Scientist, Automated Reasoning
Applied Scientist, Automated Reasoning

Amazon • Nashville (TN), Northern (KY)

On-site
USD 180,000 - 240,000
Applied Scientist, Automated Reasoning & Verification
Applied Scientist, Automated Reasoning & Verification

Amazon Web Services (AWS) • Santa Clara (CA)

On-site
USD 172,000 - 222,000
Applied Scientist: Automated Reasoning & Verification
Applied Scientist: Automated Reasoning & Verification

Amazon • New York (NY)

On-site
USD 184,000 - 249,000
Health insurance
401(k) matching
Paid time off
+1
Sr. Software Development Engineer, Automated Reasoning Group
Sr. Software Development Engineer, Automated Reasoning Group

Amazon Web Services (AWS) • New York (NY)

On-site
USD 180,000 - 240,000
Health insurance
Medical
Dental
+14
Applied Scientist: Automated Reasoning & Verification
Applied Scientist: Automated Reasoning & Verification

Amazon Web Services (AWS) • Arlington (VA)

On-site
USD 167,000 - 226,000