Taro Logo

R&D Engineer

Profile picture

Imandra

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

Description

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

Responsibilities

  • 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

Requirements

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

Benefits

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

Interested in this job?