Sr. Software Development Engineer, Automated Reasoning Group

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 AIs most persistent challenges. ARc is at the forefront of Amazons initiative on combining AI and math to give customers confidence in their Generative AI applications. See for more info:

We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services.

As a Senior Software Engineer on this team you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases contribute to the evolution of Automated Reasoning Checks and help make the power of automated reasoning more readily available within AWS and for our customers.

Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon we also expect engineers like you to interact with internal and external customers to understand our business goals and to innovate rapidly delivering high-quality and ground-breaking functionality.

What does it take to thrive as a developer at AWS You need to be creative responsible and curious while working with others to move quickly in turning code into customer solutions. Youre excited about rolling up your sleeves implementing big ideas and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. Youre somebody who knows how to be both productive and have fun with others. This role also offers the opportunity to work alongside world-class technical and scientific leaders in the automated reasoning discipline.


Key job 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.
Ability to design and code the right solutions starting with broadly defined problems.
Work in an agile environment to deliver high-quality software.

About the team
Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures and were building an environment that celebrates knowledge-sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough but kind code reviews. We care about your career growth and strive to assign projects that help our team members develop your engineering expertise so you feel empowered to take on more complex tasks in the future.

- 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

- 5 years of full software development life cycle including coding standards code reviews source control management build processes testing and operations experience
- Bachelors degree in computer science or equivalent
- Automated Reasoning or formal methods experience or interest

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience qualifications and location. Amazon also offers comprehensive benefits including health insurance (medical dental vision prescription Basic Life & AD&D insurance and option for Supplemental life plans EAP Mental Health Support Medical Advice Line Flexible Spending Accounts Adoption and Surrogacy Reimbursement coverage) 401(k) matching paid time off and parental leave. Learn more about our benefits at NY New York - 184900.00 - 250200.00 USD annually