Applied Scientist: Agentic AI Verification & Theorem Proving

Location: Greater London

A leading cloud services company is seeking an experienced applied scientist in Greater London. The position focuses on building software verification tools using AI and advanced reasoning techniques. Candidates should have a PhD or Master's in a relevant field and programming skills in Java, C++, or Python. Responsibilities include working with customers to address software verification needs and applying cutting-edge tools and methodologies.

This role offers opportunities for innovation and collaboration in a dynamic team environment.

#J-18808-Ljbffr