Jobleads-UK

Applied Scientist, Agentic AI & Formal Verification

📍 Location
Greater London, England
⏰ Job Type
Full-time
📅 Posted
June 28, 2026
Apply Now

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

Start Your Week Right!

Apply now and make every Monday exciting with Jobleads-UK

Apply for this Position