Intern - Imandra/SysML Transpiler

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 undergraduate or graduate interns to develop cutting edge technology that will be used in new industries.
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 
The Role and Responsibilities
You'll be working on developing a transpiler from a modeling language to a formal proof language or working on the use of large language models to generate hallucination-free insights about system models.
Working as part of a team on a transpiler and large language model interface
Creating models using a new systems modeling language
Continuous integration with Google Cloud
Working directly with customers to prototype and develop new product features.
You’ll be working with a globally distributed team in different time zones. The location of this internship is downtown Austin, Texas.
Requirements
What you will bring
What we're looking for
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 functional languages, transpilers or compilers, and modern AI techniques.
Linux/Unix skills.
Experience using Git/GitHub.
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 systems engineering and modeling
An interest in theorem proving and formal verification.
Experience contributing to open-source projects.