Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Develop a cloud-based reasoning platform using OCaml and collaborate on innovative software solutions.
- Company: Imandra, a forward-thinking tech company in the financial sector and beyond.
- Benefits: Private healthcare, dental plan, pension, and stock options for your future.
- Why this job: Join a global team and make software development simpler and more accessible for everyone.
- Qualifications: Strong software development skills and a passion for functional programming.
- Other info: Dynamic work environment with opportunities to contribute to open-source projects.
The predicted salary is between 36000 - 60000 £ 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’ll 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
- 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.
Skills that are a bonus
- 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.
Benefits
- Private Healthcare and Dental Plan
- Pension Plan
- Stock Option Plan
Functional Software Engineer in London employer: Imandra Inc.
Contact Detail:
Imandra Inc. Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Functional Software Engineer in London
✨Tip Number 1
Network like a pro! Reach out to folks in the industry, especially those at Imandra. A friendly chat can open doors that applications alone can't.
✨Tip Number 2
Show off your skills! If you’ve got a project or two using OCaml or any functional programming languages, share them on GitHub. It’s a great way to demonstrate your expertise and passion.
✨Tip Number 3
Prepare for the interview by diving deep into Imandra's tech. Familiarise yourself with their reasoning engine and think about how you can contribute to their cloud-based platform.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen by the right people. Plus, we love seeing candidates who take that extra step!
We think you need these skills to ace Functional Software Engineer in London
Some tips for your application 🫡
Show Your Passion for Functional Programming: When you're writing your application, let us know why you're excited about functional programming languages like OCaml and ReasonML. Share any projects or experiences that highlight your interest and skills in this area.
Tailor Your Application to Us: Make sure to customise your application to reflect how your skills align with what we're looking for at Imandra. Highlight your experience with cloud infrastructure, Git, and any relevant tools that match our tech stack.
Be Clear and Concise: Keep your application straightforward and to the point. We appreciate clarity, so avoid jargon and make it easy for us to see your qualifications and enthusiasm for the role.
Apply Through Our Website: We encourage you to submit your application through our website. It’s the best way for us to receive your details and ensures you’re considered for the role. Plus, it’s super easy!
How to prepare for a job interview at Imandra Inc.
✨Know Your Tech Stack
Make sure you’re familiar with the technologies mentioned in the job description, especially OCaml and cloud infrastructure. Brush up on your knowledge of functional programming languages and be ready to discuss any relevant projects you've worked on.
✨Show Your Problem-Solving Skills
Imandra is all about reasoning and algorithms, so prepare to demonstrate your problem-solving abilities. Think of examples where you've tackled complex issues, particularly in software development, and be ready to explain your thought process.
✨Engage with Their Mission
Research Imandra’s mission and values. Be prepared to discuss how your skills and interests align with their goal of making software production simpler and more accessible. Showing genuine enthusiasm for their work can set you apart.
✨Ask Insightful Questions
Prepare thoughtful questions about the role and the company. Inquire about their current projects, team dynamics, or future goals. This shows that you’re not just interested in the job, but also in contributing to their success.
