Functional Software Engineer

Imandra Inc. is a pioneering company that develops automated reasoning tools for software development lifecycles. They are seeking a Functional Software Engineer to join their team in Austin, TX. The role focuses on developing their cloud-based automated reasoning platform, primarily using OCaml. The position offers a unique opportunity to work across the full stack, from backend services to UI development and cloud infrastructure.

The company has established a strong presence in the financial sector and is now expanding their general-purpose automated reasoning tools to other industries. They aim to make producing correct software simpler and more accessible for everyone. The role involves working with a globally distributed team across different time zones, primarily in Austin, TX and London, UK.

As a Functional Software Engineer, you'll be involved in developing web APIs, backend services, product UIs, and visualization tools. You'll work with modern technologies including OCaml, PostgreSQL, Redis, and React. The role also includes opportunities to work with cloud infrastructure using Google Cloud and Kubernetes, as well as contributing to open source projects.

The ideal candidate should have strong software development skills, a product-focused mindset, and an interest in typed functional languages. Experience with OCaml, ReasonML, or Haskell would be advantageous, as would knowledge of cloud infrastructure and theorem proving. The position offers comprehensive benefits including medical, dental, and vision insurance, a 401K plan, and stock options.

This is an excellent opportunity for a software engineer passionate about functional programming and interested in working on cutting-edge automated reasoning technology that makes a real impact in production systems.