The Senior Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS) will focus on building scalable formal reasoning solutions that enhance customer experiences. This role involves applying knowledge in Automated Reasoning and Generative AI to develop tools and services, ensuring high-quality results in a fast-paced environment. The position requires collaboration with internal and external users to understand their needs and to drive the design and implementation of formal reasoning applications.