Co-Founder & CEO @ Kodamai | AI, Machine Learning, Mobility, Hardware Systems
Kodamai is pioneering a new era in the digital economy by building collaborative communities of AI agents. Our mission is to deliver a transformative wave of business automation, driving significant improvements in productivity, cost efficiency, and operational excellence. We aspire to become the future operating system for AI-driven enterprises.
Our Glasgow, UK office embraces a hybrid working model, encouraging three days of in-person collaboration each week, while offering remote flexibility for outstanding candidates. We are passionate about cultivating a diverse and inclusive workplace, where unconventional thinking and scientific rigor are at the core of our approach. Kodamai leads with innovation, conducting original AI research and applying rigorous mathematical foundations to deliver unique solutions for our clients.
We believe our employees are our greatest asset. We foster a supportive, unified team that values open communication, humility, honesty, and teamwork. We actively encourage diverse perspectives and problem-solving, with a commitment to continuous learning and excellence.
We are seeking a Programming Language Engineer to accelerate the development of our bespoke AI Agent Orchestration language. The role involves using methods from category theory and type theory to facilitate the construction and orchestration of complex adaptive systems of agents. In particular, the successful candidate will play a leading role in connecting our richly structured language with the unstructured world of LLMs, applying structural techniques to enable a new generation of efficient AI agents.
Responsibilities
* Lead / Contribute to the development of Kodamai's orchestration language and associated platform
* Implement methods to facilitate LLM interaction, including structured I/O, statefulness (e.g. thinking), and tool use
* Develop integrations between Kodamai's platform and other external systems
* Assist in the application of software engineering methods to business automation
* Collaborate with the rest of the Kodamai team as they develop next generation of AI Agents
About You
* At least a Master's degree (PhD preferred) in Computer Science or Mathematics
* Fluency in category theory and/or type theory, and/or functional programming
* Strong programming skills and software development track record, ideally involving some combination of programming language implementation and/or LLM agent development
* Familiarity with the state of the art in AI agent development and its limitations
* Some knowledge of dependent types
* Great communication skills and ability to fit in to an existing distributed development team
* Familiarity with the Julia programming language
* Knowledge of relevant topics in applied category theory, such as: algebraic theories; presheaves and categorical databases; coalgebra; containers/polynomial functors
Sometimes, great candidates hold back from applying because they aren't sure they meet every qualification listed in a job description. If this role sounds like your kind of thing but you're not sure you tick every box, please do apply anyway.
How to Apply
To apply, please send your CV and a cover letter detailing your relevant experience and fit for this role to careers@kodamai.com. The position will remain open until filled.
Seniority level
Mid-Senior level
Employment type
Full-time
Job function
Engineering and Information Technology
Industries
Software Development
#J-18808-Ljbffr