Functional Software Engineer, Imandra

Salary not provided

GCP

Linux

Haskell

Git

Unix

Junior, Mid and Senior level

London

3+ days a week in office

Cloud-scale automated reasoning engine

Open for applications

Cloud-scale automated reasoning engine

21-100 employees

B2BArtificial IntelligenceDeep TechMachine LearningSaaS

Open for applications

Salary not provided

GCP

Linux

Haskell

Git

Unix

Junior, Mid and Senior level

London

3+ days a week in office

21-100 employees

B2BArtificial IntelligenceDeep TechMachine LearningSaaS

Company mission

To revolutionize algorithm design, regulation, transparency, and governance by democratizing automated reasoning.

Job

Company

Role

Who you are

Strong software development skills
A product-focussed mindset, with a willingness to design, develop and deliver features and improvements across the full software stack
An interest in typed, functional languages
Competent Linux/Unix skills
Experience collaborating using Git/GitHub/CI tools and processes

Desirable

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

What the job involves

Modelling the design of our customers' financial systems in the Imandra Modelling Language (IML, a pure functional subset of OCaml)
Proving properties of the model to ensure the design is consistent and correct
Engineering and creating infrastructure for interrogating our customers' real systems
Product development to improve our own tooling and our customer-facing UI
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, Kuberenetes, Terraform)
Working directly with customers to prototype and develop new product features
Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries

Salary benchmarks

Our take

Imandra is an AI startup developing a cloud-native automated reasoning engine for the analysis of algorithms and data. The company is relied upon by top investment banks for the design, testing and governance of highly regulated trading systems.

Over the last decade, there have been many advances in the field of formal verification, and Imandra has been working on crafting an engine that combines these advances into a highly automated reasoning engine focused on scaling algorithm analysis.

Imandra has worked in R&D and industrial pilots over the past 8 years and has previously raised funding from several top deep-tech investors in the US and UK. It plans to use the capital gained to further expand the company's AI capabilities to autonomous vehicles, robotics and machine learning, and so the future certainly seems exciting.

Kirsty

Company Specialist at Welcome to the Jungle

Insights

Top investors

Few candidates hear
back within 2 weeks

Company

Funding (last 2 of 5 rounds)

Sep 2021

$6.3m

SEED

Apr 2019

$5m

SEED

Total funding: $18.9m

Company benefits

Medical, Dental, and Vision insurance
401K Plan
Stock Option Plan

Company HQ

Civic District, Austin, TX

Articles

Itiviti partners with AI innovator Imandra to integrate machine learning into client onboarding and testing tools

AlbionVC leads $5 Million seed round for Imandra

Imandra gets $5M to police other tech companies' computer programs

Leadership

Denis Ignatovich

(Co-CEO)

Previously worked for Deutsche Bank, starting as a Quantitative Analyst and working up to become the Head of Central Risk Trading Europe.

Grant Olney Passmore

(Co-CEO)

Graduated from The University of Edinburgh with a Doctor of Philosophy in Automated Theorem Proving and Algorithmic Algebraic Geometry.

Share this job

View 5 more jobs at Imandra