SDE, Cloud AI Reasoning & Verification

Amazon; Seattle (WA); On-site; USD 144,000 - 194,000; Full time

Job summary

Amazon in Seattle is seeking a Software Development Engineer (SDE) for AWS AI Agentic Automated Reasoning (AR). You will design, build, and operate components of a cloud-hosted automated reasoning platform enabling SAT/verification queries at scale.

Work with scientists and engineers to tackle distributed systems, solver integration, API development, and reliability. Expect production services powering correctness guarantees for AWS customers.

Qualifications

• 3+ years of non-internship professional software development experience.
• 2+ years of design or architecture of distributed systems.
• 1+ years of software development engineer or related occupational 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.

Responsibilities

• Design and implement features of Amazon's cloud-hosted automated reasoning platform, including query routing and solver orchestration.
• Build and maintain distributed systems meeting availability, latency, and correctness standards.
• Contribute to API evolution to simplify customer integration of reasoning capabilities.
• Collaborate with Automated Reasoning scientists to integrate solver improvements into production.
• Participate in on-call rotations, monitoring, and reliability improvements.
• Write clean, well-tested production code and engage in code reviews and design discussions.
• Work with internal AWS teams to understand use cases and troubleshoot integrations.

Skills

SDE experience

System design

OO design

Distributed systems

Programming languages

Education

Bachelor's degree in CS, Eng, Math or related field

Job description

Amazon in Seattle is seeking a Software Development Engineer (SDE) for AWS AI Agentic Automated Reasoning (AR). You will design, build, and operate components of a cloud-hosted automated reasoning platform enabling SAT/verification queries at scale.

Work with scientists and engineers to tackle distributed systems, solver integration, API development, and reliability. Expect production services powering correctness guarantees for AWS customers.