Artificial Intelligence Research Lead
- Location
- City Of London, England, United Kingdom
/model-based), model post-training and 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 ...