Sr. Software Development Engineer, Automated Reasoning Group

Amazon Web Services (AWS)

New York (NY)

On-site

USD 180,000 - 240,000

Full time

14 days+

Get a reply from this employer

Your resume and cover letter, tailored to exactly what they’re hiring for.

Get past ATS filters

Benefits offered by this job

Health insurance

Medical

Dental

Vision

Prescription

Basic life & AD&D insurance

Supplemental life plans

EAP

Mental health support

Medical advice line

Flexible spending accounts

Adoption and surrogacy reimbursement

401(k) matching

Paid time off

Parental leave

Restricted stock units

Sign-on payments

Job summary

Amazon Web Services (AWS) is seeking a senior software engineer in New York to design and build innovative services using automated reasoning. You will develop scalable, fault-tolerant distributed systems and lead fundamental changes in the industry through high-quality software engineering.

The role emphasizes architecture leadership, mentorship, and driving impact across cross-disciplinary teams while adopting Agile and cloud-native practices.

Qualifications

Requires 5+ years of professional software development experience with emphasis on architecture, design patterns and programming.
Leads engineering teams with interest or experience in automated reasoning or formal methods.

Responsibilities

Design and build innovative services using automated reasoning to enhance AWS capabilities.
Develop scalable, fault-tolerant distributed systems and lead fundamental changes in the industry through high-quality software engineering.

Skills

Automated reasoning

Software development

Distributed systems

Mathematical logic

Generative AI

System architecture

Mentorship

Agile

Cloud computing

Scalability

Reliability

Fault-tolerance

Distributed storage

Indexing

Query systems

Technical leadership

Job description

Collaborate with cross-disciplinary teams to design and build innovative services using automated reasoning to enhance AWS capabilities. Develop scalable, fault-tolerant distributed systems and lead fundamental changes in the industry through high-quality software engineering.

Requirements

Requires 5+ years of professional software development experience, including expertise in system architecture, design patterns, and programming. Candidates should have a strong background in leading engineering teams and a demonstrated interest or experience in automated reasoning or formal methods.

Key Skills