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:
11
Posted:
26.04.2025
Expiry Date:
10.06.2025
col-wide
Job Description:
At Imandra, we build tools for reasoning about algorithms. Our technology is a key part of our customers’ software development lifecycle, from design to analytics and monitoring of critical production systems.
Imandra aims to recruit, develop, and retain talented people worldwide, regardless of background. We seek top R&D Engineers to help scale our products.
We have a strong presence in the financial sector and are now applying Imandra’s automated reasoning tools to other industries to make producing correct software easier and more accessible.
Learn more about the Imandra reasoning engine through our interactive technical docs at https://docs.imandra.ai/.
The Role and Responsibilities
You will develop our cloud-based automated reasoning platform mainly using OCaml. There are opportunities to work across the full stack based on your skills and interests:
* Web APIs and backend services (OCaml, PostgreSQL, Redis).
* Product UIs and visualization tools (React, ReasonML/Bucklescript/Melange, webgl).
* Cloud infrastructure (Google Cloud, Kubernetes, Terraform).
* Modeling and verifying customer production systems using Imandra.
* Collaborating directly with customers to prototype and develop features.
* Contributing to proof automation, formal verification, and code synthesis algorithms.
* Contributing to open source projects, upstreaming features and fixes, and publishing libraries.
You will work with a distributed team across time zones, primarily in Austin, TX, and London, UK.
Requirements
What you will bring
* A product-focused mindset, with willingness to design, develop, and deliver features across the full stack.
* Interest in typed, functional languages.
* Experience with Git/GitHub/CI tools and processes.
Skills that are a bonus
While not mandatory, experience or interest in the following would be advantageous:
* Building projects with OCaml, ReasonML, Haskell, or other functional languages.
* Working with cloud infrastructure, especially GCP.
* Interest in theorem proving and formal verification.
* Contributing to open-source projects.
#J-18808-Ljbffr