Applied Scientist: Automated Reasoning & Formal Methods

Amazon is looking for an Applied Scientist to join the AWS Automated Reasoning Group in London. The role involves working on software verification tools utilizing AI and cloud resources. Ideal candidates will have a PhD or Master's in CS or related fields, along with experience in programming and machine learning.

The position requires collaboration with customer teams and the application of state-of-the-art formal methods to ensure the security and correctness of AWS services.