AmazonPosted 1d ago

Software Development Engineer, Automated Reasoning Group

Software Development Engineer, Automated Reasoning Group at Amazon scores 65 out of 100 on AI centrality, which makes it AI Level 3 of 4 (Works on AI) on this board. The level measures how much of the work is AI, not seniority.

US, WA, Seattlemidfull-time$144k-$194k

AI in this role

Build cloud-scale formally verified AI infrastructure and theorem-proving services within AWS Neuron Automated Reasoning.

lean-4

formal-verificationprogramming-languagesdistributed-systemssoftware-development

We are building the next generation of formally verified AI infrastructure in the Amazon Web Services (AWS), Neuron Automated Reasoning group.

We are seeking a talented and passionate Software Development Engineer who wants to work at the intersection of programming language theory, formal verification, and cloud-scale service architecture.

As a Software Engineer on this team, you will become an expert on Lean 4, a leading open-source functional programming language and interactive theorem prover. Lean is rapidly becoming the standard for formal verification, automated proof search, and high-assurance software development. You will help build a production AWS service that makes Lean accessible to customers who need mathematical guarantees but cannot afford the operational burden of managing theorem proving infrastructure themselves.

Delivering a reliable, well-characterized, and scalable Lean service is foundational to our mission. This includes building the service infrastructure, integrating Lean into the Amazon build ecosystem, building orchestration intelligence, integration with building blocks like a conjecture store/solvers etc, and extending functionality for internal and external AWS customers. The engineering team will be fluent in the Lean language, its ecosystem, and its application to code correctness and proof automation.

What does it take to thrive as a developer at Amazon? You are creative, responsible, and curious. You work with others to move quickly in turning ideas into customer solutions. You are excited about building systems that provide mathematical certainty in a world of probabilistic AI. You want the opportunity to grow your technical and professional skills while helping define a new category of cloud service. You relish the opportunity to dig into challenging problems at the boundary of programming languages, formal methods, and distributed systems.

This role offers the opportunity to work alongside world-class technical and scientific leaders in automated reasoning, and to shape how formal verification becomes accessible at AWS scale.

Basic qualifications

- 3+ years of non-internship professional software development experience
- 2+ years of non-internship design or architecture (design patterns, reliability and scaling) of new and existing systems experience
- Experience programming with at least one software programming language

Preferred qualifications

- 3+ 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 - 143,700.00 - 194,400.00 USD annually

Prepare for this job

A free preview built only from this posting: what it asks for, what you could be asked in an interview, and how to adjust your resume.

Skills and AI tools this role asks for

Formal VerificationProgramming LanguagesDistributed SystemsSoftware DevelopmentLean 4

Questions you could be asked

Tell me about a project where formal verification was part of your work. What did you do?
Tell me about a project where programming languages was part of your work. What did you do?
Tell me about a project where distributed systems was part of your work. What did you do?
Tell me about a project where software development was part of your work. What did you do?
Walk me through how you've used Lean 4 in your day-to-day work.

Adapt your resume

List these exact terms on your resume: Formal Verification, Programming Languages, Distributed Systems, Software Development, and Lean 4. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them — a tool named with nothing behind it rarely survives a human read.
Show where AI is part of your daily process, not a one-off project — this role expects it to be a running habit.

Want your resume actually rewritten for this job?

The free preview above is everything we have today. A full resume rewrite is not live yet and has no price set. Join the waitlist and we will email you if we open it.

Get new AI jobs at AI Level 3+ by email

One email a week with the new AI jobs at AI Level 3+, each rated AI Level 1 to 4 for how much AI is in the work. No recruiter spam, unsubscribe in one click.

Also alert me for new jobs at Amazon

Free. One email a week. Unsubscribe in one click.