> Markdown version of [/jobs/ext/2037363-software-development-engineer-aws-ai-agentic-automated-reasoning-ar](https://www.wearedevelopers.com/jobs/ext/2037363-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 - **Salary:** $143,700.0 - $194,400.0 - **Contract:** Internship / Graduate position - **Skills:** Java (Programming Language), Application Programming Interfaces (APIs), Artificial Intelligence, Amazon Web Services, Software Applications, C Sharp (Programming Language), C++ (Programming Language), Code Review, Computer Programming, Software Debugging, Software Design Patterns, Distributed Systems, Perl (Programming Language), Object-Oriented Software Development, Scrum Methodology, Software Engineering, Systems Integration, Multithreading, Information Technology, Build Process, Virtual Agents, Software Coding, Software Version Control, Programming Languages - **Published:** August 12, 2026 - **Apply:** https://www.amazon.jobs/en/jobs/10499065/software-development-engineer-aws-ai-agentic-automated-reasoning-ar ## About the Role 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., 3+ years of non-internship professional software development experience - 2+ years of non-internship design or architecture (design patterns, reliability and scaling) of new and existing systems experience - 1+ years of software development engineer or related occupational experience - 1+ years of designing and developing large-scale, multi-tiered, multi-threaded, embedded or distributed software applications, tools, systems, and services using: C#, C++, Java, or Perl experience - 1+ years of Object Oriented Design experience - Bachelor's degree or foreign equivalent in Computer Science, Engineering, Mathematics, or a related field - Experience programming with at least one software programming language Preferred Qualifications - 3+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience - Bachelor's degree in computer science or equivalent ## Description 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., Design and implement features and components of Amazon's cloud-hosted automated reasoning platform, including query routing, solver orchestration, result caching, and soundness management. - Build and maintain distributed systems that meet AWS's operational excellence standards for availability, latency, and correctness. - Contribute to the evolution of the service API, making it easier for customers to integrate reasoning capabilities into their workflows. - Collaborate with Automated Reasoning scientists to integrate solver improvements and new capabilities into the production platform. - Participate in on-call rotations, build monitoring and alerting, and contribute to the continuous improvement of service reliability. - Write clean, well-tested, production-quality code and participate actively in code reviews and design discussions. - Work with internal AWS customer teams to understand their use cases and help troubleshoot integration issues. A day in the life A typical day may include implementing a new feature for the solver service, collaborating with a scientist on integrating a solver optimization, participating in code reviews, debugging an issue in the query pipeline, or writing tests to improve coverage. You'll spend most of your time writing code and solving technical problems, while also contributing to design discussions and operational improvements. You might also attend a sprint planning session, pair with a teammate on a tricky problem, or investigate a customer-reported issue. ## Related Videos - [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) - [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) - [Empowering Democratic Processes: Building a Hybrid Voting Platform](https://www.wearedevelopers.com/videos/1163-empowering-democratic-processes-building-a-hybrid-voting-platform) - [Asynchronicity and multithreading in C#](https://www.wearedevelopers.com/videos/447-asynchronicity-and-multithreading-in-c) - [Build a CI/CD pipeline to automate code reviews and ensure code quality](https://www.wearedevelopers.com/videos/349-build-a-ci-cd-pipeline-to-automate-code-reviews-and-ensure-code-quality) - [Reusing apps between teams and environments through Containers](https://www.wearedevelopers.com/videos/107-reusing-apps-between-teams-and-environments-through-containers) ## Related Articles - [What is Software Engineering in the Age of AI?](https://www.wearedevelopers.com/magazine/640-what-is-software-engineering-in-the-age-of-ai) - [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer) - [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers) - [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline) - [What is Agentic Programming and Why Should Developers Care?](https://www.wearedevelopers.com/magazine/625-what-is-agentic-programming-and-why-should-developers-care) - [Dev Digest 120 - Apple and peers](https://www.wearedevelopers.com/magazine/455-dev-digest-120-apple-and-peers)