Applied Scientist, Agentic AI & Formal Verification

Amazon is looking for an Applied Scientist for the Agentic Automated Reasoning Group in London. This role involves pioneering software verification tools utilizing AI and cloud capabilities. You will collaborate with teams and leverage innovative techniques for code analysis and verification.

A Master's degree and programming experience in languages like Java, C++, or Python, along with knowledge in machine learning are essential. Join us in shaping the future of AWS security and AI-driven solutions.