SrSDE,AWSAIAgenticAutomatedReasoning(AR)

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. As AI workloads become more prevalent, the ones having accurate results will be differentiated from others. We are seeking a talented and passionate Senior 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 a Senior SDE on the ATR team, you will design, build, and operate Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will work on challenges spanning distributed systems, solver performance optimization, API design, 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 deep systems engineering with automated reasoning technology. You'll work alongside world-class scientists and 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 the team is small enough that your contributions will be highly visible. Key job responsibilities - Design and implement core components of the managed cloud automated reasoning service, including query routing, solver orchestration, result caching, and soundness management. - Build and maintain high-availability, low-latency distributed systems that meet AWS's operational excellence standards. - Develop and evolve the service API to reduce friction for customers migrating from local solvers, and to support new reasoning use cas