Overview

Imandra is building tools for reasoning about algorithms. Our technology forms an integral part of our customers' software development lifecycles, from design to analytics and monitoring of production systems. We recruit, develop, and retain talented people worldwide, and we are looking for the best R&D Engineers to scale our products to the next level. We have a solid foothold in the financial sector and are applying Imandra's automated reasoning tools to other industries to help make producing correct software simpler and more accessible. For more about the Imandra reasoning engine, see the interactive technical docs at https://docs.imandra.ai/.

Location note: Our primary locations are Austin, TX and London, UK; you will work with a globally distributed team across time zones.

Responsibilities

• Develop our cloud-based automated reasoning platform, primarily using OCaml.
• Contribute across the full stack according to your skills and interests, including:
• Web APIs and backend services (OCaml, PostgreSQL, Redis)
• Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl)
• Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform)
• Modeling and verifying customer production systems using Imandra
• Prototype and develop new product features in collaboration with customers
• Contribute to novel advanced proof automation techniques, formal verification, and code synthesis algorithms
• Open source contributions, upstreaming features and fixes, and publishing new libraries

Requirements

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

Skills That Are a Bonus

• Experience with OCaml, ReasonML, Haskell, or other functional languages
• Experience with cloud infrastructure (GCP)
• Interest in theorem proving and formal verification
• Experience contributing to open-source projects

Benefits

• Private Healthcare and Dental Plan
• Pension Plan
• Stock Option Plan

Details

• Seniority level: Entry level
• Employment type: Full-time
• Job function: IT Services and IT Consulting

Referrals increase your chances of interviewing at Imandra. Sign in to set job alerts for “Software Engineer” roles.