CREATING THE FUTURE AI ECONOMY

​​

Our Glasgow, UK office operates with a hybrid model, aiming for three days in-person collaboration per week, with remote-working possible if appropriate. We are committed to building a diverse and inclusive team, prioritizing the best talent.

 

Our Values:

Kodamai champions unconventional thinking, striving to anticipate and solve problems others avoid. Our science-driven approach yields unique solutions, grounded in rigorous mathematical principles and a deep understanding of fundamental details. While this approach might look slow at first, it ultimately fosters long-term efficiency and allows us to embed excellence at every level.

 

We prioritize our employees—our greatest asset—fostering a unified, supportive team that values diverse perspectives while working towards common goals. Open communication, humility, honesty, teamwork, and active listening are integral to our culture.

 

We are hiring across software engineering, machine learning, mathematical modelling and logical methods. We are looking for candidates with expertise in one of the following, but with capacity in some others. This is to ensure Kodamai is one family.

 

• A. Software Engineering: Functional Programming, Julia, JAX, MCP

• B. Logical Methods: Category theory, Logic, Types,  Automatic Verification

• C. Machine Learning: AI Agents, Reinforcement Learning, Neurosymbolic AI, Bayesian Methods, AI planning, LLMs

• D. Mathematical Modelling: Multiagent systems, digital twins, cyber-physical systems, autonomous systems, game theory, control theory, microecon, operations research, business analytics (BPMN, DMN, ERP), institution design​

​

 

Programming Language Engineer

​

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

 

Further desiderata:

• 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.

 

AI Engineer

​

Kodamai is seeking a talented AI Engineer to spearhead the integration of our cutting-edge products with a key customer located in Saudi Arabia. This position requires a blend of technical expertise, cultural sensitivity, and hands-on problem-solving to deliver impactful results in an international setting.

​

Key Responsibilities

• Serve as Kodamai's primary representative and champion for our customer in Saudi Arabia.

• Collaborate closely with the customer to gather detailed feedback and understand their evolving needs.

• Work with the Kodamai team to plan, strategize, and implement next steps for product integration and enhancement.

• Deploy and optimize Kodamai’s AI agents within the customer’s systems, ensuring seamless integration and peak performance.

• Continuously fine-tune AI agents to maximize efficiency, reliability, and value.

• Troubleshoot technical challenges and proactively resolve issues as they arise.

• Provide clear, actionable reports highlighting successes, areas for improvement, and recommendations for further development.

​

Qualifications & Requirements

• Master’s degree (MSc) or higher in Artificial Intelligence or a closely related field.

• Minimum of 2 years’ practical experience in AI applications.

• Experience with AI agent technologies and business automation solutions.

• Ability to work effectively within the Saudi Arabian cultural context; right to work in Saudi Arabia is required. Right to work in the UK is a valuable plus.

• Exceptional communication skills, cultural awareness, and adaptability.

• Strong balance of teamwork and self-motivation, driving momentum and results in all projects.

 

 

 

 

 

Please include CV or LinkedIn details

Apply now!

​​​​