Functional Software Engineer - OCaml & Automated Reasoning

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

Job summary

A leading technology company in Greater London is seeking talented R&D Engineers to develop a cloud-based automated reasoning platform primarily using OCaml. The role involves working across the full stack, including web APIs, backend services, and cloud infrastructure. Candidates should have strong software development skills and an interest in functional programming. The company offers benefits such as private healthcare, a pension plan, and stock options.

Benefits

Private Healthcare and Dental Plan

Pension Plan

Stock Option Plan

Qualifications

• Strong software development skills across full stack.
• Willingness to design and deliver software features.
• Interest in functional programming languages.

Responsibilities

• Develop and enhance the cloud-based automated reasoning platform.
• Work on web APIs, backend services, and product UIs.
• Collaborate with globally distributed team in various time zones.

Skills

Strong software development skills

Product-focused mindset

Interest in typed, functional languages

Competent Linux / Unix skills

Experience with Git / GitHub / CI tools

Tools

OCaml

PostgreSQL

Redis

React

Google Cloud

Kubernetes

Terraform

Job description

A leading technology company in Greater London is seeking talented R&D Engineers to develop a cloud-based automated reasoning platform primarily using OCaml. The role involves working across the full stack, including web APIs, backend services, and cloud infrastructure. Candidates should have strong software development skills and an interest in functional programming. The company offers benefits such as private healthcare, a pension plan, and stock options.