Full-Time

Functional Software Engineer

London

Confirmed live in the last 24 hours

Imandra

Imandra

11-50 employees

Automated reasoning and formal verification tools

Fintech
AI & Machine Learning

Junior, Mid

London, UK

Category
Backend Engineering
Full-Stack Engineering
Software Engineering
Required Skills
Kubernetes
React.js
Git
Postgres
OCaml
Haskell
Terraform
Redis
Linux/Unix
Google Cloud Platform
Requirements
  • Strong software development skills.
  • 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.
  • Competent Linux/Unix skills.
  • Experience collaborating using Git/GitHub/CI tools and processes.
  • 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.
Responsibilities
  • developing our cloud-based automated reasoning platform, primarily using OCaml.
  • 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.

Imandra focuses on automated reasoning and formal verification technology, providing tools that analyze and verify program properties to ensure correct and efficient functioning. Its main product is a programming language and reasoning engine that validate complex algorithms, primarily serving the financial sector by formalizing essential protocols like FIX and SWIFT. Imandra offers cloud-based AI tools, including APIs for rule synthesis and model correctness, generating revenue through subscriptions and custom solutions. The company's goal is to enhance the reliability and governance of critical algorithms in finance while continuously innovating to meet client needs.

Company Stage

Seed

Total Funding

$18.7M

Headquarters

London, United Kingdom

Founded

N/A

Growth & Insights
Headcount

6 month growth

12%

1 year growth

28%

2 year growth

50%
Simplify Jobs

Simplify's Take

What believers are saying

  • The $5 million seed investment led by AlbionVC and others will fuel Imandra's growth in financial services and new applications like autonomous vehicles and robotics.
  • Imandra's partnerships with technology firms like Itiviti and its expansion into diverse sectors such as healthcare and aerospace highlight its broad market potential.
  • The introduction of tools like the FIX Wizard AI Assistant and Python API demonstrates Imandra's commitment to continuous innovation and user accessibility.

What critics are saying

  • The niche focus on financial protocols may limit Imandra's market reach compared to more diversified competitors.
  • Rapid expansion into new sectors like autonomous vehicles and robotics could stretch resources thin and impact core financial services.

What makes Imandra unique

  • Imandra's unique combination of a programming language and reasoning engine sets it apart in the AI and formal verification space, offering a comprehensive solution for scrutinizing complex algorithms.
  • The company's focus on formalizing and verifying industry-standard financial protocols like FIX, SWIFT, and IBan provides a specialized service that is critical for secure financial transactions.
  • Imandra's 'Reasoning as a Service' platform democratizes advanced symbolic AI, making it accessible to users without specialized backgrounds, unlike competitors who may require extensive expertise.

Help us improve and share your feedback! Did you find this helpful?