Applied Scientist, Agentic AI & Formal Verification

Amazon
📍 london, england, United-Kingdom 💼 Full-time 🕒 Posted June 30, 2026

Job Description

Amazon is looking for an Applied Scientist for the Agentic Automated Reasoning Group in London. This role involves pioneering software verification tools utilizing AI and cloud capabilities. You will collaborate with teams and leverage innovative techniques for code analysis and verification.

A Master’s degree and programming experience in languages like Java, C++, or Python, along with knowledge in machine learning are essential. Join us in shaping the future of AWS security and AI-driven solutions.

#J-18808-Ljbffr

Ready to Apply?

Submit your application today and join our talented team at Amazon.

Submit Application

Job Details

  • Location london, england
  • Job Type Full-time
  • Category Other
  • Posted Date June 30, 2026
  • Application Deadline August 09, 2026