Head of Formal Methods in AI
About the role
We are looking for a Head of Formal Methods in AI to lead our advanced AI initiatives. This role demands a Masters / PhD in Mathematics or Computer Science, with experience in design and implementation of neural networks, beyond finetuning/adapting LLMs. The candidate will have used different machine learning architectures models to...