Work with us!

Do you want to change the way the world develops software? Do you dream of making fundamental contributions to science with immediate practical impact? We’re always looking for extraordinary people to join our team.

Quantitative Microstructure Analyst

We’re looking for an exceptional quantitative analyst with experience working with financial data, developing trading strategies, and performing risk and microstructure analysis for leading financial institutions.

You will be responsible for using cutting-edge automated reasoning tools developed by AI to analyze microstructure models from leading global venues (exchanges, dark pools, crossing networks, etc.).

R&D Engineer

We’re looking for talented R&D engineers who have significant experience working with complex software systems to join our team in London.

You will be contributing to Imandra, the cutting edge automated reasoning engine that powers AI’s algorithm analysis technology.