Imandra SysML Transpiler Internship Opportunity!

I wanted to share an opportunity for a summer internship with Imandra!

If you’re someone with an interest in writing production OCaml or using a battle-worn automated theorem prover in an industry setting, please apply!

It is based in Austin, TX.

You can find more details and apply here.



Cc @cjr of the Houston Functional Programming Users Group who might have some local leads