Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Develop cloud-based automated reasoning tools using OCaml and collaborate on full-stack projects.
- Company: Imandra creates innovative software solutions for algorithm reasoning, enhancing software development across industries.
- Benefits: Enjoy remote work flexibility, a diverse team, and opportunities to contribute to open-source projects.
- Why this job: Join a cutting-edge company making software simpler and more accessible while working with talented peers.
- Qualifications: A passion for functional programming, experience with Git, and a product-focused mindset are essential.
- Other info: Work with a globally distributed team and engage in exciting projects across various sectors.
The predicted salary is between 28800 - 48000 £ per year.
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.
The Role and Responsibilities
- You will 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.
Requirements
What you will bring
- 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.
Functional Software Engineer (London) employer: Imandra Inc.
Contact Detail:
Imandra Inc. Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Functional Software Engineer (London)
✨Tip Number 1
Familiarise yourself with OCaml and other functional programming languages like Haskell or ReasonML. Consider building a small project or contributing to an open-source project using these languages to showcase your skills.
✨Tip Number 2
Gain hands-on experience with cloud infrastructure, particularly Google Cloud Platform (GCP). You could set up a simple application on GCP to demonstrate your understanding of cloud services and deployment processes.
✨Tip Number 3
Engage with the Imandra community by exploring their interactive technical documentation. This will not only enhance your understanding of their products but also give you insights into how you can contribute effectively.
✨Tip Number 4
Showcase your collaborative skills by participating in GitHub projects. Highlight any contributions you've made to repositories, especially those related to automated reasoning or formal verification, as this aligns closely with the role.
We think you need these skills to ace Functional Software Engineer (London)
Some tips for your application 🫡
Understand the Role: Before applying, make sure you fully understand the responsibilities and requirements of the Functional Software Engineer position at Imandra. Familiarise yourself with their technology stack, especially OCaml, and how it relates to their cloud-based automated reasoning platform.
Tailor Your CV: Customise your CV to highlight relevant experience and skills that align with the job description. Emphasise your product-focused mindset, experience with functional programming languages, and any collaboration using Git/GitHub.
Craft a Compelling Cover Letter: Write a cover letter that showcases your passion for software development and your interest in Imandra's mission. Mention specific projects or experiences that demonstrate your ability to contribute to their team and products.
Showcase Relevant Projects: If you have experience with OCaml, ReasonML, or any related technologies, include links to your projects or contributions, especially if they are open-source. This will help demonstrate your practical skills and commitment to the field.
How to prepare for a job interview at Imandra Inc.
✨Showcase Your Functional Programming Knowledge
Make sure to highlight your experience with functional programming languages like OCaml, ReasonML, or Haskell. Be prepared to discuss specific projects where you've applied these skills, as this will demonstrate your fit for the role.
✨Demonstrate a Product-Focused Mindset
Imandra is looking for candidates who can design, develop, and deliver features across the software stack. Share examples of how you've contributed to product development in previous roles, focusing on your problem-solving approach and user-centric design.
✨Familiarise Yourself with Their Technology
Before the interview, take some time to explore Imandra's interactive technical documentation. Understanding their reasoning engine and cloud-based automated reasoning platform will allow you to ask informed questions and show genuine interest in their work.
✨Prepare for Collaboration Questions
Since you'll be working with a globally distributed team, be ready to discuss your experience with collaboration tools like Git, GitHub, and CI processes. Share specific instances where effective communication and teamwork led to successful project outcomes.
