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
- Categories
-
OCaml