1 of 1 Permanent Functional Programming Jobs in Glasgow

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 … 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 … 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 More ❯