Senior Applied Scientist Interactive Theorem Proving & AI

Amazon seeks a Senior Applied Scientist for the Agentic Automated Reasoning Group in Seattle, focusing on building next-generation software verification tools. You will lead technical efforts in formal verification and collaborate with experts to solve complex code analysis challenges. The ideal candidate has a PhD or equivalent with extensive experience in program analysis and theorem proving, looking to innovate using generative AI. Comprehensive benefits and a competitive salary ranging from $167,100 to $226,100 are offered. #J-18808-Ljbffr