Overview
On-site OCaml engineer for Imandra’s automated reasoning tools. Work spans backend, ReasonML UIs, GCP/K8s infra, and formal verification. Bonus: Haskell, open-source, theorem proving.
Key Information
- Locations
-
🇺🇸
Austin, TX, USA
- Remote Friendly
- No
- Languages
- OCaml