Senior SDE — Cloud Automated Reasoning & Verification

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

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

RSUs

Job summary

Amazon seeks a Senior Software Development Engineer to join the AWS Automated Reasoning team in Seattle, WA. You will design, build, and operate a cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale.

You will mentor engineers, drive architecture, and own reliability and performance across distributed systems, solver orchestration, and API design for production use.

Qualifications

• 5+ years of non-internship professional software development experience.
• 5+ years of programming with at least one software programming language.
• 5+ years of leading design or architecture of new and existing systems experience.
• Experience as a mentor, tech lead or leading an engineering team.

Responsibilities

• Design and implement core components of the managed cloud automated reasoning service, including query routing, solver orchestration, result caching, and soundness management.
• Build and maintain high-availability, low-latency distributed systems that meet AWS's operational excellence standards.
• Develop and evolve the service API to reduce friction for customers migrating from local solvers, and to support new reasoning use cases (including Agentic AI correctness verification).
• Partner with Automated Reasoning scientists to translate research advances in solver technology into production-ready capabilities.
• Drive operational excellence—own on-call responsibilities, build monitoring and alerting, automate deployments, and continuously improve service reliability.
• Mentor junior engineers, contribute to technical design reviews, and raise the bar on engineering practices across the team.
• Work with internal AWS customer teams to understand their reasoning workloads, troubleshoot integration issues, and optimize performance for their use cases.

Skills

5+ yrs software dev

5+ yrs programming

5+ yrs systems design lead

Mentor / tech lead

Education

Bachelor's degree in Computer Science

Job description

Amazon seeks a Senior Software Development Engineer to join the AWS Automated Reasoning team in Seattle, WA. You will design, build, and operate a cloud-hosted automated reasoning platform that enables AWS services to offload satisfiability and verification queries at scale.

You will mentor engineers, drive architecture, and own reliability and performance across distributed systems, solver orchestration, and API design for production use.