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 https://docs.imandra.ai/.

The Role and Responsibilities
You'll be working on developing a transpiler from a modeling...