Sr. Software Development Engineer, Automated Reasoning Group

Job 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 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…