Amazon Web Services (AWS) is seeking an applied scientist to join the Agentic Automated Reasoning Group in London. This role focuses on developing software verification tools using AI and formal methods.

The ideal candidate will have a Master's degree and programming expertise in Java, C++, or Python, along with experience in machine learning. You will work directly with customer teams to address their software verification needs.

AWS values diversity and is an equal opportunity employer.