Cloud AI Reasoning SDE – Scale & Verification

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

Benefits offered by this job

RSUs

Benefits package

Job summary

Amazon.com Services LLC in Seattle is seeking a Software Development Engineer to work at the intersection of automated reasoning and cloud-scale distributed systems. You will design, build, and operate components of a cloud-hosted reasoning platform powering correctness guarantees for AWS services.

The role emphasizes solving challenging problems, code quality, on-call readiness, and collaboration with scientists and engineers across the AWS ecosystem.

Qualifications

• 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.
• 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.

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 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.

Skills

Software development

Distributed systems

Code reviews

On-call rotations

Education

Bachelor's degree in Computer Science, Engineering, Mathematics, or related field

Tools

C#

C++

Java

Perl

Job description

Amazon.com Services LLC in Seattle is seeking a Software Development Engineer to work at the intersection of automated reasoning and cloud-scale distributed systems. You will design, build, and operate components of a cloud-hosted reasoning platform powering correctness guarantees for AWS services.

The role emphasizes solving challenging problems, code quality, on-call readiness, and collaboration with scientists and engineers across the AWS ecosystem.