Imandra-posted about 1 year ago
Full-time
Austin, TX
This job is no longer available
There are still lots of open positions. Let's find the one that's right for you.
The Functional Software Engineer at Imandra will be responsible for developing a cloud-based automated reasoning platform, primarily using OCaml. This role involves working across the full software stack, contributing to product features, and collaborating with customers to enhance the software development lifecycle. The position is integral to scaling Imandra's products, particularly in the financial sector and beyond, by applying automated reasoning tools to simplify software production.
