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.

