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 work on a leading open-source functional programming language and interactive theorem prover. You will help build a production AWS service that makes this service 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 service is foundational to our mission. This includes building the service infrastructure, integrating it into the Amazon build ecosystem, building orchestration intelligence and extending functionality for internal and external AWS customers. The engineering team will be fluent in this 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.
