This client is looking for a Programming Language Engineer to accelerate the development of a bespoke AI Agent Orchestration language. This role sits at the intersection of theoretical computer science and cutting-edge AI, applying methods from category theory and type theory to orchestrate complex, adaptive systems of agents.
The successful candidate will play a leading role in bridging the gap between richly structured formal systems and the unstructured capabilities of large language models (LLMs), enabling a new generation of efficient, intelligent agents.
Key Responsibilities
* Design and implement a bespoke orchestration language for AI agents
* Enable structured LLM interaction, including stateful reasoning and tool use
* Build integrations with external systems
* Apply software engineering to intelligent business automation
* Collaborate with a distributed team of researchers and engineers
Requirements
* Master’s or PhD in Computer Science, Mathematics, or related field
* Expertise in category theory, type theory, or functional programming
* Strong programming skills and experience in language design or LLM agent development
* Familiarity with dependent types and current AI agent architectures
* Excellent communication and remote collaboration skills
Nice to Have
* Experience with Julia
* Knowledge of applied category theory (e.g. algebraic theories, presheaves, coalgebra, polynomial functors)
* Background in model-based deep reinforcement learning, program synthesis, or theorem proving
* Willingness to deepen theoretical knowledge as needed
Why This Role?
This is a unique opportunity to work on a high-impact project that blends deep theoretical insight with practical AI engineering. If you're passionate about programming languages, formal methods, and pushing the boundaries of what intelligent systems can do, we’d love to hear from you.
This client are open to permanent or contract engagements and can offer remote options for the right candidate, although hybrid or on-site candidates in Glasgow would be preferred.
Any Further Questions? Please reach out to emma.gordon@experis.co.uk and I will get back to you as soon as possible.