Amazon.com Services LLC
Technology
SoftwareDevEngineer,AWSAIAgenticAutomatedReasoning(AR)
Neural analysis suggests this role is
optimal for Mid+ candidates.
“Software Dev Engineer, AWS AI Agentic Automated Reasoning (AR) at Amazon.com Services LLC. Skills: Automated Reasoning, Distributed systems, Cloud infrastructure. Design features and components. Implement features and components”
Industry & Context.
Troubleshoot integration issues
On-call rotations
What They're Looking For.
Must Have
3+ years professional software development, 2+ years system design or architecture, 1+ years software development engineer experience, 1+ years designing distributed software applications, 1+ years Object Oriented Design experience, Bachelor's degree or foreign equivalent, Experience programming at least one language
Nice to Have
3+ years full software development life cycle experience
What You'll Do.
Design features and components
Implement features and components
Build distributed systems
Maintain distributed systems
Contribute to service API evolution
Integrate solver improvements
Integrate new capabilities
Participate in on-call rotations
Build monitoring and alerting
Contribute to service reliability improvement
Write production-quality code
Participate in code reviews
Participate in design discussions
Work with customer teams
Understand customer use cases
Troubleshoot integration issues
How You'll Work.
Team & Collaboration
Collaborate with scientists; Work with customer teams
Full Job 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. 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. As an SDE on the ATR team, you will design, build, and operate components of Amazon's cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale. You will tackle challenges in distributed systems, solver integration, API development, and service reliability. Your work will directly enable customers to verify correctness of software, infrastructure configurations, and AI-generated code at AWS scale. This is a unique opportunity to combine strong software engineering skills with automated reasoning technology. You'll work alongside world-class scientists and senior engineers to turn research breakthroughs in solver technology into production services that power correctness guarantees for millions of customers. The problems are hard, the impact is enormous, and your contributions will be highly visible. Key job responsibilities - 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 int
Applying for this Software Dev Engineer, AWS AI Agentic Automated Reasoning (AR) role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
ANONYMOUS · UNFILTERED
What do employees actually say about Amazon.com Services LLC?
Real rants from real employees. Read before you apply.