Applied Scientist — AI-Driven Formal Verification
Job in
Greater London, London, Greater London, W1B, England, UK
Listed on 2026-05-31
Listing for:
Amazon Web Services (AWS)
Full Time
position Listed on 2026-05-31
Job specializations:
-
Software Development
AI Engineer (Applied/Software), Machine Learning/ ML Engineer, Data Scientist
Job Description & How to Apply Below
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.
#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:
×