Location
Greater London
Job Type
Full-time
Posted
June 22, 2026
Job Description
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.
#J-18808-Ljbffr
Ready to Apply?
Submit your application for Applied Scientist: Automated Reasoning & Formal Methods at Jobleads-UK
Apply Now