Applied Scientist, Agentic Automated Reasoning
As an Applied Scientist in the Agentic Automated Reasoning Group, you will work on developing and applying advanced formal methods and automated reasoning techniques to ensure the security and correctness of AWS services. Your responsibilities will include collaborating with customer teams to understand their software, identifying and building verification tools, and exploring generative AI techniques to enhance formalization and testing processes.