Software Development Engineer, AWS AI Agentic Automated Reasoning (AR)

Overview

We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. The We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. The position is base

What you'll do

• We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
• The We are building exciting new capabilities in the Amazon Web Services (AWS) Agentic AI Automated Reasoning group by using Automated Reasoning in new, novel and exciting ways to enhance AWS services.
• The position is based in Seattle, Washington.
• We are seeking a talented and passionate Software Development Engineer (SDE) who wishes to work at the intersection of Automated Reasoning and cloud-scale distributed systems, building and operating managed reasoning infrastructure that powers correctness guarantees across AWS.
• As an SDE on the ATR team, you will design, build, and operate components of Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale.
• You will tackle challenges in distributed systems, solver integration, API development, and service reliability.
• Your work will directly enable customers to verify correctness of software, infrastructure configurations, and AI-generated code at AWS scale.
• This is a unique opportunity to combine strong software engineering skills with automated reasoning technology.
• You'll work alongside world-class scientists and senior engineers to turn research breakthroughs in solver technology into production services that power correctness guarantees for millions of customers.
• The problems are hard, the impact is enormous, and your contributions will be highly visible.

Requirements

• Practical experience with Java, AWS, RAG, C++.
• Experience level: 3+ yrs.
• Strong written and verbal communication in English.
• Comfortable working on-site in Seattle, Washington, USA.

Skills