Functional Software Engineer - OCaml & Automated Reasoning

Functional Software Engineer - OCaml & Automated Reasoning

Full-Time No home office possible
Imandra Inc.
A leading technology company in Greater London is seeking talented R&D Engineers to develop a cloud-based automated reasoning platform primarily using OCaml. The role involves working across the full stack, including web APIs, backend services, and cloud infrastructure. Candidates should have strong software development skills and an interest in functional programming. The company offers benefits such as private healthcare, a pension plan, and stock options. #J-18808-Ljbffr
Imandra Inc.

Contact Detail:

Imandra Inc. Recruiting Team