- PhD in Computer Science, Artificial Intelligence, Machine Learning, or a related field.
- Extensive experience with reinforcement learning, particularly in theorem proving and code synthesis applications.
- Proficiency in neural networks, including transformer models and sequence-to-sequence architectures.
- Expertise in flow-based models and density estimation techniques.
- Familiarity with Retrieval-Augmented Generation (RAG) frameworks and knowledge graph traversal techniques.
- Proven track record of publications in reputable AI and machine learning conferences/journals.
- Excellent programming skills in Python and experience with deep learning frameworks such as TensorFlow or PyTorch.
- Strong problem-solving abilities and the ability to work independently and collaboratively.
- Fully onsite in LondonÂ
- Flexible working hours as you will also need to be available for your colleagues on the West coast of the US, so adjusting your day accordingly
- Huge potential to earn an extremely valuable package via equity