Artificial Intelligence Research Lead
- Location
- City Of London, England, United Kingdom
test-time adaptation. Preferred qualifications, capabilities, and skills Practical experience with ML libraries (e.g. PyTorch, TensorFlow/Keras, HuggingFace Transformers etc.), agent frameworks (e.g. LangGraph, Google ADK, etc.), common formal verification tools and languages (e.g., Coq/Isabelle/Lean, TLA+, Alloy, Z3, PDDL). #AIR_jobs About Us J.P. ...