Overview

You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml. There are opportunities to get involved across the full stack according to your skills and interests, including:

• Our web APIs and backend services (OCaml, PostgreSQL, Redis)
• Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl)
• Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform)
• 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
• Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries

You’ll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.

Requirements

What you will bring

• 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 collaborating using Git/GitHub/CI tools and processes

Skills that are a bonus

We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus:

• 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
• Experience contributing to open-source projects

Benefits

• Private Healthcare and Dental Plan
• Pension Plan
• Stock Option Plan