Applied Scientist: Agentic AI & Formal Verification

Amazon is seeking an Applied Scientist for the Agentic Automated Reasoning Group in London to advance formal methods for AWS services. You will work on model checking, interactive theorem proving, and generative AI to verify software correctness across infrastructure and cryptography.

You will join a team applying AI and cloud-scale verification with other experts in Strata; contribute to provable security and automated reasoning for AWS customers.