Applied Scientist: Agentic AI Verification & Theorem Proving

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…