Sr. Software Development Engineer, Automated Reasoning Group

About the role

We are building new capabilities in the Amazon Web Services (AWS) Automated Reasoning Group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. Our team owns Automated Reasoning Checks (ARc), a service that uses mathematical logic to verify the accuracy of Generative AI outputs, tackling hallucinations, one of AI’s most persistent challenges. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications.

Responsibilities

• Collaborate with experienced cross-disciplinary Amazonians to conceive, design, and bring innovative products and services to market.
• Design and build innovative technologies in a large distributed computing environment, and help lead fundamental changes in the industry.
• Create solutions to run predictions on distributed systems with exposure to innovative technologies at incredible scale and speed.
• Build distributed storage, index, and query systems that are scalable, fault-tolerant, low cost, and easy to manage/use.
• Able to design and code the right solutions starting with broadly defined problems.
• Work in an agile environment to deliver high-quality software.

Requirements

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

Qualifications

• Bachelor's degree in computer science or equivalent
• Automated Reasoning or formal methods experience or interest

Skills

• Ability to design and code the right solutions starting with broadly defined problems
• Work in an agile environment to deliver high-quality software

Benefits

• Supports new members
• Broad mix of experience levels and tenures
• Senior members enjoy one-on-one mentoring and thorough, but kind, code reviews
• Strives to assign projects that help our team members develop their engineering expertise

Pay

TBD

Schedule

TBD