At Symbolica, we are building deep learning models which perform structured reasoning: manipulate structured data, learn algebraic structure in it, and do so with an interpretable and verifiable logic. To that end, we are developing new mathematical foundations for deep learning: categorical deep learning. We are now assembling a R&D lab of expert category theory and machine learning researchers to develop this theory and apply it to the problems of code synthesis and theorem proving. We are committed to fundamental ideas, but also their execution in practice.

As a senior category theory scientist, you will help us expand, reimagine, and carry out our research & development program. You will lead teams on a project developing categorical deep learning and implementing it in models. This is an opportunity to be part of a transformative project and make significant contributions to the field of applied category theory, and artificial intelligence.

Responsibilities:

• Help develop and own a research project
• Translate business needs into well-scoped research and engineering sub-projects with clear deliverables and timelines
• Work simultaneously at different levels of abstraction - from high-level categorical constructions to low-level details of architecture implementation in code

Preferred qualifications:

• PhD in Mathematics, Computer Science or similar discipline.
• 2+ years of industrial or academic work experience post PhD
• Industrial or academic experience leading a research/technical team, and implementing novel machine learning architectures
• Expertise in category theory or type theory, and a strong interest in machine learning
• Exceptional communication and interpersonal skills.

Location:

• London (preferred) or UK remote

We offer competitive compensation, including equity and health insurance. Salary and equity levels are commensurate with experience and location.