More jobs:
Applied Category Theorist
Job in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-10-07
Listing for:
Kodamai Limited
Full Time
position Listed on 2026-10-07
Job specializations:
-
Business
AI Business & Operations
Job Description & How to Apply Below
Kodamai is built on the proposition that category theory is the correct mathematical foundation for safe, composable multi-agent AI. We are looking for a researcher who believes this too — and who wants to spend their time proving it. You will work at the frontier of applied mathematics and AI systems design, translating deep theoretical insights into the formal foundations of our platform.
Key Responsibilities- Develop and formalise the categorical structures underlying Kodamai's agent orchestration model
- Collaborate with engineers to translate formal specifications into implementable designs
- Advance Kodamai's neuro-symbolic architecture through original research
- Author internal technical papers and contribute to external academic publications
- Mentor and support junior researchers and engineers working on formal methods
- Engage with the academic community on behalf of Kodamai at conferences and workshops
- PhD in mathematics, theoretical computer science, or a closely related field
- Deep expertise in category theory — functors, natural transformations, ad junctions, monads, and beyond
- Published research or demonstrable original contributions to applied mathematics or formal methods
- Ability to communicate complex mathematics clearly to both academic and engineering audiences
- Strong interest in real-world deployment — theory in service of systems that need to work
- Experience with dependent type theory, homotopy type theory, or topos theory
- Familiarity with proof assistants:
Coq, Lean 4, Agda, or similar - Prior work on categorical semantics for programming languages or concurrency
- Interest in AI safety, formal verification, or regulated systems
- Competitive salary with meaningful equity participation
- Based at our Glasgow HQ with flexible working arrangements
- Dedicated research budget — conferences, journals, compute resources
- Close collaboration with a founding team drawn from world-class academic institutions
- Freedom to publish and contribute to the academic community
- 30 days annual leave and private healthcare
If this sounds like you, we'd love to hear from you.
Join the enterprises scaling their autonomous workflows with Kodamai's next-generation framework.
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×