Applied Scientist - AI-Driven Formal Verification & Testing

Amazon Science is seeking an Applied Scientist in Greater London. Join the Agentic Automated Reasoning Group to develop cutting-edge software verification tools that leverage AI and cloud computing. Candidates should have a Master's degree and programming experience in Java, C++, or Python, along with expertise in machine learning and applied research.

This role involves collaboration with customer teams to determine verification needs and utilizing advanced techniques for software analysis. A diverse and inclusive work culture is prioritized at Amazon.