4 of 4 Functional Programming Jobs in Scotland

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

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

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

maintaining data pipelines Working with time-series and structured/unstructured datasets Applying your industry know-how within financial data to ensure continual product development Tech youll work with: Functional programming i.e. Ruby, Python, Elixir PostgreSQL OpenAPI integrations Various data streaming and processing tools Whats in it for you: Fully remote working Flexible hours Trust and ownership Chance More ❯