Functional Software Engineer (Austin TX)

Imandra - Austin, TX

Full-time

Austin, TX

About the position

The Functional Software Engineer at Imandra will be responsible for developing a cloud-based automated reasoning platform, primarily using OCaml. This role involves working across the full software stack, contributing to product features, and collaborating with customers to enhance the software development lifecycle. The position is integral to scaling Imandra's products, particularly in the financial sector and beyond, by applying automated reasoning tools to simplify software production.

Responsibilities

• Develop the cloud-based automated reasoning platform using OCaml.
• Work on web APIs and backend services with OCaml, PostgreSQL, and Redis.
• Create product UIs and visualization tools using React and ReasonML/Bucklescript/Melange.
• Manage continuous integration and cloud infrastructure with Google Cloud, Kubernetes, and Terraform.
• Model and verify customer production systems using Imandra.
• Collaborate directly with customers to prototype and develop new product features.
• Contribute to advanced proof automation techniques, formal verification, and code synthesis algorithms.
• Engage in open source projects by upstreaming new features and fixes, and publishing new libraries.

Requirements

• Strong software development skills.
• A product-focused mindset with a willingness to design, develop, and deliver features across the software stack.
• Interest in typed, functional languages.
• Competent Linux/Unix skills.
• Experience collaborating using Git/GitHub/CI tools and processes.

Nice-to-haves

• Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages.
• Working with cloud infrastructure, specifically GCP.
• Interest in theorem proving and formal verification.
• Experience contributing to open-source projects.

Benefits

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