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.

- 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 cases (including Agentic AI correctness verification).

- Partner with Automated Reasoning scientists to translate research advances in solver technology into production-ready capabilities.

- Drive operational excellence—own on-call responsibilities, build monitoring and alerting, automate deployments, and continuously improve service reliability.

- Mentor junior engineers, contribute to technical design reviews, and raise the bar on engineering practices across the team.

- Work with internal AWS customer teams to understand their reasoning workloads, troubleshoot integration issues, and optimize performance for their use cases.