Cloud SDE: Automated Reasoning & Solver Platform

Socket.dev; Seattle (WA); On-site; USD 144,000 - 194,000; Full time

Job summary

Amazon is seeking a Software Development Engineer to join the AWS Agentic AI Automated Reasoning group in Seattle, WA. You will design, build, and operate components of a cloud-hosted automated reasoning platform that powers correctness guarantees for AWS services.

Work with distributed systems, solver integration, API development, and on-call rotations. Collaborate with scientists to turn research into production services used by millions of customers.

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 experience
• 1+ years of Object Oriented Design experience
• 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

C#

C++

Java

Perl

OO design

Education

CS/Eng/Math degree

Job description

Amazon is seeking a Software Development Engineer to join the AWS Agentic AI Automated Reasoning group in Seattle, WA. You will design, build, and operate components of a cloud-hosted automated reasoning platform that powers correctness guarantees for AWS services.

Work with distributed systems, solver integration, API development, and on-call rotations. Collaborate with scientists to turn research into production services used by millions of customers.