Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Develop cloud-based automated reasoning tools and collaborate on innovative software projects.
- Company: Imandra, a cutting-edge tech company in the financial sector.
- Benefits: Private healthcare, pension plan, stock options, and remote work opportunities.
- Why this job: Join a global team and make software development simpler and more accessible for everyone.
- Qualifications: Strong software development skills and interest in functional programming languages.
- Other info: Dynamic environment with opportunities for open-source contributions and career growth.
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 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
- 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 (London) (Hiring Immediately) employer: Imandra Inc.
Contact Detail:
Imandra Inc. Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Functional Software Engineer (London) (Hiring Immediately)
✨Tip Number 1
Network like a pro! Reach out to people in the industry, especially those at Imandra. A friendly chat can go a long way in making you stand out. Plus, it’s a great way to learn more about the company culture and what they really value.
✨Tip Number 2
Show off your skills! If you’ve got a GitHub or portfolio, make sure it’s up to date with your best work. Highlight any projects that relate to functional programming or cloud infrastructure, as these are right up Imandra's alley.
✨Tip Number 3
Prepare for the interview by brushing up on OCaml and any relevant technologies mentioned in the job description. We recommend doing some mock interviews with friends or using online platforms to get comfortable with technical questions.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets seen. Plus, we love seeing candidates who take that extra step to engage with us directly.
We think you need these skills to ace Functional Software Engineer (London) (Hiring Immediately)
Some tips for your application 🫡
Show Your Passion for Functional Programming: When 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 CV and cover letter to reflect the specific role at Imandra. Highlight your relevant experience with cloud infrastructure, Git, and any other skills mentioned in the job description to show us you’re a great fit.
Be Clear and Concise: Keep your application straightforward and to the point. Use clear language and avoid jargon unless it’s relevant. We appreciate a well-structured application that makes it easy for us to see your qualifications.
Apply Through Our Website: Don’t forget 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 to do!
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 like Google Cloud. 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 or contributed to innovative solutions, particularly in software development.
✨Be Ready for Collaboration Questions
Since you'll be working with a globally distributed team, expect questions about collaboration and communication. Share experiences where you successfully worked with others, especially using tools like Git and CI processes, to highlight your teamwork skills.
✨Express Your Passion for Open Source
If you have experience with open-source projects, make sure to bring it up! Discuss any contributions you've made or projects you're passionate about. This shows your commitment to the community and aligns with Imandra's values.