Taro Logo

R&D Engineer

Profile picture


Imandra builds tools for reasoning about algorithms.
Austin, USA · London, UK
Backend · Full-Stack
100 Employees
3+ years


Imandra is a cutting-edge technology company that specializes in developing tools for reasoning about algorithms. As a member of the Imandra team, you will contribute to building a cloud-based automated reasoning platform, primarily using OCaml. Your responsibilities will include working on web APIs, backend services, product UIs, visualization tools, continuous integration, cloud infrastructure, modeling and verifying customer production systems, and collaborating on advanced proof automation techniques. With a distributed team across various time zones, Imandra offers a dynamic and collaborative work environment. Ideal candidates should possess strong software development skills, a product-focused mindset, and an interest in functional languages.

Last updated 23 days ago


  • Developing a cloud-based automated reasoning platform
  • Working on web APIs and backend services
  • Building product UIs and visualization tools
  • Managing continuous integration and cloud infrastructure
  • Modeling and verifying customer production systems
  • Collaborating on proof automation techniques


  • Strong software development skills
  • Product-focused mindset
  • Interest in functional languages
  • Competent Linux/Unix skills
  • Experience with Git/GitHub/CI tools


Medical Insurance
Dental Insurance
Vision Insurance
  • Medical, Dental, and Vision insurance
  • 401K Plan
  • Stock Option Plan

Interested in this job?