Functional Software Engineer

Imandra Inc. is seeking a Functional Software Engineer to join their team in Austin, TX. The company specializes in building automated reasoning tools that are integral to software development lifecycles. This 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 ideal candidate will be working with a globally distributed team across different time zones, primarily in Austin, TX and London, UK. They'll be involved in various aspects of the platform, including web APIs, backend services, product UIs, cloud infrastructure, and direct customer interaction for feature development. The role requires strong software development skills and an interest in typed, functional languages.

What makes this role particularly exciting is the chance to work with cutting-edge technology in automated reasoning and formal verification. You'll be contributing to novel proof automation techniques and have the opportunity to work on open source projects. The company offers comprehensive benefits including medical, dental, and vision insurance, a 401K plan, and a stock option plan.

The position combines technical depth with product development, requiring someone who can think both analytically and creatively. You'll be working with modern technologies like OCaml, PostgreSQL, Redis, React, and cloud platforms like Google Cloud and Kubernetes. This is an excellent opportunity for someone passionate about functional programming and interested in making software development more accessible and reliable through automated reasoning tools.