Functional Software Engineer (London)
- Hiring Organisation
- Imandra
- Location
- London, England, United Kingdom
Linux/Unix skills Experience collaborating using Git/GitHub/CI tools and processes Skills That Are a Bonus Experience with OCaml, ReasonML, Haskell, or other functional languages Experience with cloud infrastructure (GCP) Interest in theorem proving and formal verification Experience contributing to open-source projects Benefits Private Healthcare ...