> Markdown version of [/jobs/ext/2769448-sr-software-development-engineer-agentic-ai](https://www.wearedevelopers.com/jobs/ext/2769448-sr-software-development-engineer-agentic-ai). 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).

---

# Sr. Software Development Engineer, Agentic AI

- **Company:** Amazon.com, Inc.
- **Location:** Seattle, WA, United States
- **Experience:** Expert
- **Salary:** $168,100.0 - $227,400.0
- **Contract:** Internship / Graduate position
- **Skills:** Artificial Intelligence, Amazon Web Services, Code Review, Computer Programming, Software Design Patterns, Formal Verification, Open Source Technology, Software Engineering, Information Technology, Build Process, Virtual Agents, Functional Programming, Software Coding, Software Version Control, Programming Languages
- **Published:** September 7, 2026
- **Apply:** https://dejobs.org/x/x/02D69505ED7540E58DD85B1D165FA786/job/

## About the Role

* 5+ years of non-internship professional software development experience
 * 5+ years of programming with at least one software programming language experience
 * 5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience
 * Experience as a mentor, tech lead or leading an engineering team, * 5+ 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 new capabilities in the Amazon Web Service (AWS) Agentic AI / Automated Reasoning (AR) group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services such as code correctness and Agent action safety. The position is based in Seattle, Washington.

We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning, AI and AWS services. This team will specifically work on code verification using automated reasoning including building agents and using reasoning tools.

As a Senior Software Engineer on this team, you will become an expert on applying formal reasoning methods for code correctness and agentic safety. This includes technologies such as SAT/SMT solvers and Lean, a leading open-source functional programming language and interactive theorem prover designed for formal verification, mathematics, and high-performance software development and provide technical leadership on a new AWS service.

What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others.

This role also offers the opportunity to work alongside world class technical and scientific leaders in the automated reasoning discipline.


## Related Videos

- [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)
- [Guiding Agentic AI with Vue](https://www.wearedevelopers.com/videos/2033-guiding-agentic-ai-with-vue)
- [Building and Modernising Apps with Agentic AI - Julia Kordick](https://www.wearedevelopers.com/videos/1832-building-and-modernising-apps-with-agentic-ai-julia-kordick)
- [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)
- [Developer Relations in the World of Agents - Michelle Duke](https://www.wearedevelopers.com/videos/1898-developer-relations-in-the-world-of-agents-michelle-duke)

## Related Articles

- [What is Agentic Programming and Why Should Developers Care?](https://www.wearedevelopers.com/magazine/625-what-is-agentic-programming-and-why-should-developers-care)
- [What is Software Engineering in the Age of AI?](https://www.wearedevelopers.com/magazine/640-what-is-software-engineering-in-the-age-of-ai)
- [Navigating the AI Shift](https://www.wearedevelopers.com/magazine/629-navigating-the-ai-shift)
- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [From Prototype to Production: Build AI Agents with This Free 4-Course Learning Path](https://www.wearedevelopers.com/magazine/655-from-prototype-to-production-build-ai-agents-with-this-free-4-course-learning-path)
- [Transforming Software Development: The Role of AI and Developer Tools](https://www.wearedevelopers.com/magazine/527-transforming-software-development-the-role-of-ai-and-developer-tools)