> Markdown version of [/jobs/ext/2036329-software-development-engineer-aws-ai-agentic-automated-reasoning-ar](https://www.wearedevelopers.com/jobs/ext/2036329-software-development-engineer-aws-ai-agentic-automated-reasoning-ar). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

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

- **Company:** Amazon.com, Inc.
- **Location:** Seattle, WA, United States
- **Contract:** Internship / Graduate position
- **Skills:** Java (Programming Language), Adobe InDesign, Application Programming Interfaces (APIs), Artificial Intelligence, Amazon Web Services, Software Applications, C Sharp (Programming Language), C++ (Programming Language), Code Coverage, Code Review, Distributed Systems, Perl (Programming Language), Object-Oriented Software Development, Software Engineering, Caching, Information Technology, Production Code, Api Design, Programming Languages
- **Published:** August 12, 2026
- **Apply:** https://us.experteer.com/career/view-jobs/software-development-engineer-aws-ai-agentic-automated-reasoning-ar-seattle-wa-usa-58914699

## About the Role

and API to simplify customer integration of reasoning capabilities * Collaborate with Automated Reasoning scientists to integrate solver improvements into production * Participate in on-call rotations, monitoring, alerts, and reliability improvements * Write clean, well-tested production code and contribute to code reviews and design discussions * Engage with internal customer teams to understand use cases and troubleshoot integration issues * Contribute to feature development for the solver service and partner with researchers on optimizations * Assist in debugging issues in the query pipeline and improve test coverage Tasks * 3+ years of non-internship software development experience * 2+ years in design or architecture of large-scale systems * 1+ years of SDE or related experience * 1+ years designing/developing distributed software applications using C#, C++, Java, or Perl * 1+ years of Object Oriented Design experience * Bachelor's degree or foreign equivalent in Computer Science, a
reliability Mathematics, or related field * Experience with at least one programming language from the listed set Key requirements * health insurance (medical, dental, vision) * 401(k) matching * RSUs * sign-on payments * paid time off * parental leave

## Description

Experteer Overview In this role you will help build Amazon's cloud-hosted automated reasoning platform, enabling AWS services to verify correctness at scale. You'll work at the intersection of automated reasoning and distributed systems, shaping production services used by millions of customers. You'll tackle challenges in solver integration, API development, and reliability to deliver robust, scalable reasoning capabilities. You will collaborate with scientists and engineers to turn research into production features that guarantee correctness for software, infrastructure, and AI-generated code. This is a high-impact, hands-on software role in a fast-paced, cross-functional environment. Compensation / Benefits * Design and implement features of the cloud-hosted automated reasoning platform (query routing, solver orchestration, result caching, soundness management) * Build and maintain distributed systems meeting AWS standards for availability, latency, and correctness * Evolve the service API to simplify customer integration of reasoning capabilities * Collaborate with Automated Reasoning scientists to integrate solver improvements into production * Participate in on-call rotations, monitoring, alerts, and reliability improvements * Write clean, well-tested production code and contribute to code reviews and design discussions * Engage with internal customer teams to understand use cases and troubleshoot integration issues * Contribute to feature development for the solver service and partner with researchers on optimizations * Assist in debugging issues in the query pipeline and improve test coverage Tasks * 3+ years of non-internship software development experience * 2+ years in design or architecture of large-scale systems * 1+ years of SDE or related experience * 1+ years designing/developing distributed software applications using C#, C++, Java, or Perl * 1+ years of Object Oriented Design experience * Bachelor's degree or foreign equivalent in Computer Science, Engineering, Mathematics, or related field * Experience with at least one programming language from the listed set Key requirements * health insurance (medical, dental, vision) * 401(k) matching * RSUs * sign-on payments * paid time off * parental leave


## Related Videos

- [HTTP headers that make your website go faster](https://www.wearedevelopers.com/videos/1676-http-headers-that-make-your-website-go-faster)
- [API Design - Getting Started](https://www.wearedevelopers.com/videos/33-api-design-getting-started)
- [Are Code Reviews Worth It? Insights from 16 Years of Review Data](https://www.wearedevelopers.com/videos/1135-are-code-reviews-worth-it-insights-from-16-years-of-review-data)
- [Developer Experience in the Age of AI](https://www.wearedevelopers.com/videos/1118-developer-experience-in-the-age-of-ai)
- [Event based cache invalidation in GraphQL](https://www.wearedevelopers.com/videos/433-event-based-cache-invalidation-in-graphql)
- [Fireside Chat with Werner Vogels, VP & CTO, Amazon.com & Daniel Gebler, CTO at Picnic](https://www.wearedevelopers.com/videos/1405-fireside-chat-with-werner-vogels-vp-cto-amazon-com-daniel-gebler-cto-at-picnic)

## Related Articles

- [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers)
- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)
- [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)
- [Dev Digest 132 - Binging WADFlix?](https://www.wearedevelopers.com/magazine/473-dev-digest-132-binging-wadflix)