Functional Software Engineer; Austin TX

At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers' software development life cycles, from the design stage to analytics and monitoring of critical production systems. Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background. We are looking for the best R&D Engineers to help scale our products to the next level.

We have a solid foothold in the financial sector, and we are now applying Imandra's general purpose automated reasoning tools to other industries to help make producing correct software simpler and more accessible for everyone. If you re interested in finding out more about the Imandra reasoning engine, check out our interactive technical docs at (Use the "Apply for this Job" box below)..

The Role And Responsibilities

• 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:
• Our web APIs and backend services (OCaml, Postgre
  
  SQL, Python, Type Script)
• Product UIs and visualization tools (React, via the Reason
  
  ML/Buckle script/Melange toolchain)
• Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, Git Hub 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
• Contributing to open source projects, both up streaming 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.

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
• Experience working with cloud infrastructure.
• An interest in typed, functional languages
• Competent Linux/Unix skills

Skills That Are a Bonus

• Experience building projects with OCaml, Reason
  
  ML, Haskell, or other functional programming languages
• Experience with Terraform and GCP.
• Experience with building tools around LLMs/agentic workflows.
• An interest in theorem proving and formal verification
• Experience contributing to open-source projects

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