Software Development Engineer II, Automated Reasoning Group
Location
New York, NY
Job Type
Full-time
Category
other-general
Posted
May 27, 2026
Description
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. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e
We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services.
As a 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 cas...
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. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e
We are seeking a talented and passionate Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services.
As a 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 cas...