Engineer position at Imandra (Austin TX/UK)

Imandra is looking for a full time engineer in the UK or in Austin, Texas.

The job offers can be found here.Imandra is an AI startup developing a cloud-native automated reasoning engine for analysis of algorithms and data. Whether you’re writing mission-critical code or need to understand the countless complex decisions that a system may make, use Imandra to ensure the algorithms you create are safe, explainable and fair. OCaml is the main language used at Imandra.