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.
We're an AI startup developing Imandra, a cloud-native automated reasoning engine for analyzing algorithms and data. We're looking for a highly motivated sales executive to help us continue and expand our growth in financial services. Leading financial institutions already use our technology for designing, testing, and calibrating their most complex trading systems. We are looking to expand our footprint rapidly and need help us achieving our goals.
Read More
We are looking to expand our R&D team with a full-time functional programming developer who has a strong interest in formal methods. You will be working as part of a small and distributed team of engineers and researchers covering the full stack.
We are looking for an AI researcher/engineer interested in designing and developing hybrid Symbolic Reasoning and Reinforcement Learning (RL) systems. You'll work on designing and implementing an RL algorithm that leverages the symbolic analysis provided by our automated reasoning engine. The RL algorithm should be tuned to be applied in the context of financial systems (e.g., trading venues).
We are an AI startup developing Imandra, a cloud-native automated reasoning engine for analyzing 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.
Please note that the Imandra website no longer supports Internet Explorer
We recommend upgrading to the latest Microsoft Edge, Google Chrome, or Firefox
