Imandra · 4 months ago
Functional Software Engineer (Austin TX)
Austin, TX
Full-time
Onsite
Mid LevelImandra is a company that builds tools for reasoning about algorithms, integral to the software development lifecycle in various industries. They are seeking a Functional Software Engineer to develop their cloud-based automated reasoning platform, working across the full stack and engaging with customers to enhance product features.
Cloud ComputingCloud ManagementGovernmentInformation TechnologyMachine Learning
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, PostgreSQL, Python, TypeScript)
• Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain)
• Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub 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 upstreaming new features and fixes and publishing new open source libraries
Qualification
Required
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
Preferred
Experience building projects with OCaml, ReasonML, 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
Benefits
Medical, Dental, and Vision insurance
401K Plan
Relocation Package
Stock Option Plan
Company
Imandra
Imandra specializes in cloud-scale automated reasoning.
Founded in 2014
11-50 employees
Funding
Current Stage
Early StageTotal Funding
$21.58MKey Investors
Green Visor CapitalAnthemisDavid Rosskamp
2024-04-20Convertible Note· $9M
2021-09-09Seed· $5M
2019-04-18Seed· $5M
Leadership Team
Denis Ignatovich
Co-Founder & Co-CEO
Grant Passmore
Co-Founder and Co-CEO
Recent News
Company data provided by crunchbase