Functional Software Engineer (London)

Imandra Inc.; London; On-site; GBP 55,000 - 80,000; Full time

Job summary

A leading technology company in London is seeking a Functional Software Engineer to develop a cloud-based automated reasoning platform using OCaml. The role involves working across the full software stack, including backend services and cloud infrastructure, while contributing to open source projects. The ideal candidate will have a product-focused mindset and experience with functional programming languages. This position offers a unique opportunity to join a globally distributed team.

Qualifications

• A product-focused mindset with a willingness to design and deliver features across the full software stack.
• Interest in typed, functional languages is essential.
• Experience with Git/GitHub/CI tools for collaboration.

Responsibilities

• Develop our cloud-based automated reasoning platform primarily using OCaml.
• Contribute to APIs, backend services, and visualization tools.
• Work on continuous integration and cloud infrastructure.

Skills

Product-focused mindset

Experience with functional languages

Collaboration using Git/GitHub

Tools

OCaml

PostgreSQL

React

Google Cloud

Kubernetes

Terraform

Job description

Social network you want to login/join with:

Functional Software Engineer (London), London

col-narrow-left

Client:

Location:

London, United Kingdom

Job Category:

Other

-

EU work permit required:

Yes

col-narrow-right

Job Reference:

Job Views:

8

Posted:

12.08.2025

col-wide

Job Description:

At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers’ software development lifecycles, from the design stage to analytics and monitoring of critical production systems.

Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background. We are looking for the best R&D Engineers to help scale our products to the next level.

We have a solid foothold in the financial sector, and we are now applying Imandra’s general purpose automated reasoning tools to other industries to help make producing correct software simpler and more accessible for everyone.

If you’re interested in finding out more about the Imandra reasoning engine, check out our interactive technical docs at https://docs.imandra.ai/.

The Role and Responsibilities

You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml.

There are opportunities to get involved across the full stack according to your skills and interests:

• Our web APIs and backend services (OCaml, PostgreSQL, Redis).
• Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl).
• Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform).
• Modeling and verifying customer production systems using Imandra.
• Working directly with customers to prototype and develop new product features.
• Contributing to novel advanced proof automation techniques, formal verification, and code synthesis algorithms.
• Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries.

You’ll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.

Requirements

What you will bring

What we're looking for

• A product-focused mindset, with a willingness to design, develop and deliver features and improvements across the full software stack.
• An interest in typed, functional languages.
• Experience collaborating using Git/GitHub/CI tools and processes.

Skills that are a bonus

We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus:

• Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages.
• Working with cloud infrastructure, specifically GCP.
• An interest in theorem proving and formal verification.
• Experience contributing to open-source projects.