Software Development Engineer (Formal Verification)

Quick Facts

• Role: Software Development Engineer (Formal Verification)

• Focus: Formally verified AI infrastructure and cloud-scale Lean service

Description

You will help build a production AWS service that makes Lean 4—an interactive theorem prover and functional programming language—accessible to customers who need mathematical guarantees. The work spans service infrastructure, integration into the Amazon build ecosystem, orchestration intelligence, and connectors to components such as conjecture stores and solvers. The engineering team will be expected to become fluent in Lean and apply it to code correctness and proof automation.

Responsibilities

• Build and operate the service infrastructure for a Lean-based formally verified system

• Integrate Lean into the Amazon build ecosystem

• Develop orchestration intelligence and automation for proof search/verification

• Integrate supporting building blocks (e.g., conjecture store/solvers) and extend functionality for internal and external AWS customers

Requirements

• 3+ years of non-internship professional software development experience

• 2+ years of non-internship experience designing or architecting systems (design patterns, reliability and scaling)

• Experience programming with at least one software programming language

Benefits

• Health insurance (medical, dental, vision, prescription) and Basic Life & AD&D; option for Supplemental life plans

• Employee Assistance Program (EAP) and mental health support; Medical Advice Line

• Flexible Spending Accounts; Adoption and Surrogacy Reimbursement coverage

• 401(k) matching

• Paid time off

• Parental leave