Programming Language Engineer

• 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

• 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