Applied Scientist, AI-Driven Formal Verification

Amazon is looking for an Applied Scientist in London to join the Agentic Automated Reasoning Group. This role involves working on advanced software verification tools leveraging artificial intelligence and cloud capabilities.

The candidate will engage in projects spanning from infrastructure verification to cryptographic applications. Candidates should hold a PhD or Master's in relevant fields with programming experience in Java, C++, or Python.

Join Amazon to innovate and help maintain the integrity and security of AWS services through cutting-edge formal verification techniques.