The Senior Applied Scientist in the Automated Reasoning Group at Amazon Web Services (AWS) will be responsible for developing scalable formal reasoning solutions that enhance customer experiences. This role involves applying expertise in Automated Reasoning and Generative AI to create software prototypes, implement production systems, and support the scaling of these solutions to meet customer demands. The position requires strong communication skills and the ability to deliver high-quality results in a fast-paced environment, contributing to the overall vision and roadmap of product features.