Sr. Software Development Engineer, Agentic AI

Amazon

Seattle, Washington, United States💼 Full-time💰 $168,100–$227,400🗓 2026-09-03 → 2026-09-26

Core

Building agents and using reasoning tools for code verification and agentic safety within AWS services.

Role type

Senior Software Development Engineer (Agentic AI / Automated Reasoning)

Builds

Code correctness verification tools and agent safety mechanisms for AWS

Domain

Cloud infrastructure, Automated Reasoning, Formal Verification

Deliverable

production ML models | product features

Required skills

Automated reasoning, SAT/SMT solvers, Lean, formal verification, system architecture, design patterns, reliability, scaling, technical leadership, mentoring

Preferred skills

Full software development life cycle, coding standards, code reviews, source control management, build processes, testing, operations

Technologies

SAT/SMT solvers, Lean

Responsibilities

Apply formal reasoning methods for code correctness and agentic safety, build agents and use reasoning tools, provide technical leadership on new AWS services, mentor engineering teams

Seniority

Senior, hands-on IC with leadership responsibilities

Sourced via amazon · Listed on CareerPlan, which tracks 70,000+ jobs from 20+ sources.

About Amazon

Public5000+ Employees

Amazon is a global technology and e-commerce company based in Seattle, Washington. It operates one of the world's largest online marketplaces, offering a wide selection of consumer goods, books, and entertainment products. The company also provides cloud computing services through Amazon Web Services (AWS) and develops artificial intelligence and robotics technologies for enterprise and consumer applications.