Applied Scientist, AI & Formal Methods in the Cloud

Amazon Web Services (AWS) is hiring an Applied Scientist in Greater London to join the Agentic Automated Reasoning Group. The role focuses on software verification tools, engaging in model checking and theorem proving to enhance the security and reliability of AWS services. Candidates should have a relevant PhD or a Master’s with experience in programming and machine learning.

The position involves collaborating with customer teams to address verification needs, using cutting-edge AI techniques and various programming languages. AWS is committed to diversity in the workplace and offers a supportive environment for all.

#J-18808-Ljbffr…