At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers’ software development lifecycles, 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 https : / / docs.imandra.ai / .
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, 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.
- 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.
You’ll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.
Requirements
What you will bring
What we're looking for
- Strong software development skills.
- A product-focused mindset, with a willingness to design, develop and deliver features and improvements across the full software stack.
- An interest in typed, functional languages.
- Competent Linux / Unix skills.
- Experience collaborating using Git / GitHub / CI tools and processes.
Skills that are a bonus
We don’t expect everyone to have these, but any experience or interest in working with them would definitely be a plus :
- Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages.
- Working with cloud infrastructure, specifically GCP.
- An interest in theorem proving and formal verification.
- Experience contributing to open-source projects.
Benefits
- Medical, Dental, and Vision insurance
- 401K Plan
- Stock Option Plan
Senior R&D Software Engineer
Supervisory responsibility and technical mentorship of junior and mid-level software engineers. Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering, or related field. Experience coordinating, mentoring, and providing technical leadership to a team of software engineer...
Civil Engineer III - Austin, TX
Bowman has an opportunity for a Civil Engineer III to join our team in Austin, TX. Experience with computer applications and civil engineering design software such as Civil3D in a professional or academic setting. Carry out complex or novel assignments requiring the development of new or improved ci...
Senior Software Engineer, Texas Institute of Electronics
The Senior Software Engineer helps the software and controls development efforts related to semiconductor manufacturing equipment and processes that will define the future roadmaps of semiconductor logic, memory, heterogenous integration, and chip cooling. Senior Software Engineer, Texas Institute o...
Mechanical Engineer (Austin, TX location)
THIS IS A HYBRID ROLE LOCATED IN AUSTIN, TX. This is a great opportunity to be part of developing our Zebra Tablet Computer! In this role, you will design and analyze products for cosmetic and functional housing, internal components, and development, including evaluation of existing standard parts, ...
Infrastructure Software Engineer, Pestilli Lab
Infrastructure Software Engineer, Pestilli Lab. Franco Pestilli in the Department of Psychology is hiring an Infrastructure Software Engineer for the Pestilli Lab. Education: Bachelor's degree in Computer Science, Software Engineering, or a related field. Implement and promote best practices for sof...
Principal Systems Engineer - Austin, TX
Principal Systems Engineer - (Austin, TX). Engineers at our Austin TX, Endicott NY, Fort Wayne IN, and Los Angeles CA support the Controls & Avionics Solutions (CAS) Business Area. BAE Systems wants your Systems Engineering talent to develop complex system architectures and perform system design...
Mechanical Engineer (Austin, TX location) - Zebra Technologies
THIS IS A HYBRID ROLE LOCATED IN AUSTIN, TX. This is a great opportunity to be part of developing our Zebra Tablet Computer! In this role, you will design and analyze products for cosmetic and functional housing, internal components, and development, including evaluation of existing standard parts, ...
Software Engineer
This exciting opportunity at the University of Texas at Austin involves working on a cutting-edge AI networking project under the guidance of Professor Chandrajit Bajaj. A dynamic and collaborative research environment at the University of Texas at Austin. UT Austin offers a competitive benefits pac...
Digital Services Energy Engineer - Entry Level - Austin, TX
The DSC is headquartered in Austin, Texas and applicants will be asked to relocate to Austin, as needed, to participate in our hybrid work schedule. The first month of training will take place onsite in the Austin office. As a Digital Service Engineer, you will:. Bachelor's Degree in Mechanical or A...
Software Engineer Stf / Lead / Embedded, Grand Prairie, TX
As a Software Engineer at MFC, you will join one of the largest networks of software professionals, implementing cutting edge technologies on both existing and new development platforms. As a Software Engineer, your responsibilities will include but are not limited to:. Apply knowledge of computer h...