Applied Category Theorist for AI Systems & Safety

Kodamai Limited is seeking a researcher to formalise categorical structures for its agent orchestration model, translating theory into practical system designs. You will work at the frontier of applied mathematics and AI systems, publishing in academic venues and guiding junior researchers.

The role emphasizes deep category theory expertise, strong mathematical communication, and a drive to deploy theory in real-world scalable systems from our Glasgow HQ with flexible working arrangements.