More jobs:
Applied Scientist: Agentic AI & Formal Verification
Job in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-07-26
Listing for:
Amazon
Full Time
position Listed on 2026-07-26
Job specializations:
-
IT/Tech
AI Engineer (Applied/Software)
Job Description & How to Apply Below
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.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×