About the job

Symbolica AI is an AI research lab pioneering the use of category theory to enable logical reasoning in machines. The company bridges theoretical mathematics and cutting-edge machine learning to build symbolic reasoning models that think like humans—precise, logical, and interpretable. The ML Research Engineer will work closely with researchers to develop and deploy scalable AI models that combine deep mathematical theory with real-world applications. Responsibilities include conducting research into symbolic reasoning models, translating mathematical insights into code, optimizing machine learning pipelines, and deploying models at scale. Candidates should have strong theoretical backgrounds in mathematics, machine learning expertise, and programming experience in Python or functional languages like Haskell or Scala. The role is based onsite in London and offers Skilled Worker visa sponsorship.