Imandra is looking for R&D Engineers to help scale their cloud-based automated reasoning platform, which is used in customers' software development lifecycles for design, analytics, and monitoring of critical production systems.
Requirements
- primarily using OCaml.
- Our web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript).
- Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain).
- Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions).
- 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.
Responsibilities
- You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml.
- Our web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript).
- Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain).
- Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions).
- 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.
Other
- 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 contributing to open-source projects.
