Events and news relevant to the Laboratory for Foundations of Computer Science

[David Aspinall <David.Aspinall@ed.ac.uk>]

[Posting on behalf of Neil Ghani - please contact him directly with any questions.  Kodamai have positions aimed at a range of seniority/qualification levels.]

Kodamai is a science-led Agentic AI company. We build systems of AI agents that businesses can genuinely trust, and our edge is scientific: we bring the power of types to agentic AI, so that what an agent can and cannot do is guaranteed by construction rather than merely hoped for.

Backed by significant investment, we are now scaling up — and we'd like to hear from talented people who want to help build the next generation of agentic AI. That spans the full range, from deploying commercial products through to the mathematical foundations of the field, and everything in between.

Because we do Typed Agentic AI, we are especially keen to meet people with a background in functional programming, type theory, category theory, and AI/ML — a combination Edinburgh does better than almost anywhere. If that sounds like you, or you're simply excited by the vision, we'd love to talk.

More details: https://kodamai.com/

Get in touch: Professor Neil Ghani (neil@kodamai.com)

-- 

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.