companyImandra logo

Functional Software Engineer | London

ImandraLondon, England, United Kingdom
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Unlock Your Potential

Generate Job-Optimized Resume

One Click And Our AI Optimizes Your Resume to Match The Job Description.

Is Your Resume Optimized For This Role?

Find Out If You're Highlighting The Right Skills And Fix What's Missing

Experience Level

Experience

Qualifications

What You Will BringProficient software development skills. A product-oriented mindset, eager to design, develop, and implement features across the complete software stack. Interest in typed, functional programming languages. Solid Linux/Unix proficiency. Familiarity with collaboration using Git/GitHub/CI tools and processes. Bonus SkillsWhile not mandatory, experience or interest in the following areas would be advantageous:Building projects with OCaml, ReasonML, Haskell, or other functional programming languages. Working with cloud infrastructure, particularly GCP. Interest in theorem proving and formal verification. Experience in automated reasoning techniques.

About the job

Join Imandra, where we create innovative tools for algorithmic reasoning. Our cutting-edge technology is essential throughout our clients' software development lifecycle, from initial design to analytics and monitoring of mission-critical production systems.

At Imandra, we are committed to attracting, nurturing, and retaining the brightest minds globally, regardless of their background. We are on the lookout for exceptional R&D Engineers to elevate our offerings to new heights.

Having established a strong presence in the financial sector, we are now extending Imandra's versatile automated reasoning tools to various industries, simplifying and democratizing the production of accurate software.

If you wish to learn more about the Imandra reasoning engine, please visit our interactive technical documentation at https://docs.imandra.ai/.

The Role and Responsibilities

As a member of our team, you will be instrumental in developing our cloud-based automated reasoning platform, primarily utilizing OCaml.

Your role offers the chance to engage with the full stack based on your skills and interests, including:

  • Developing our web APIs and backend services (OCaml, PostgreSQL, Redis).
  • Creating product UIs and visualization tools (React, using the ReasonML/Bucklescript/Melange toolchain, webgl).
  • Enhancing our continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform).
  • Modeling and verifying customer production systems with Imandra.
  • Collaborating directly with clients to prototype and develop new product features.
  • Contributing to innovative proof automation techniques, formal verification, and code synthesis algorithms.
  • Participating in open source projects, including developing new features and publishing open source libraries.

You will be collaborating with a globally distributed team across different time zones, with our primary offices located in Austin, TX, and London, UK.

About Imandra

Imandra is a pioneering company dedicated to developing state-of-the-art tools that enhance algorithmic reasoning. We take pride in fostering a diverse workforce and are driven by our mission to transform software development across various industries.

Similar jobs

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.