Senior Software Engineer, Automated Reasoning

Amazon Web Services (AWS); New York (NY); On-site; USD 180,000 - 240,000; Full time

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

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.