Full-Time
Posted on 7/23/2024
Automated reasoning and formal verification tools
No salary listed
Austin, TX, USA
In Person
đź’ˇProduct (1) |
---|
Imandra specializes in automated reasoning and formal verification technology, focusing on the financial sector. Its main product is a programming language combined with a reasoning engine that analyzes and verifies the correctness of complex algorithms. This technology is particularly useful for ensuring that industry-standard protocols like FIX, SWIFT, and IBan function securely and efficiently. Imandra offers cloud-based AI tools and services, including APIs like Imandra Rule Synth, which helps clients automate processes by synthesizing rules from log files. The company differentiates itself by integrating with SysML v2 to improve program development and identify design bugs early, which reduces development time and keeps projects on track. Imandra's goal is to enhance the reliability and governance of critical algorithms in finance, and it generates revenue through subscription services, licensing, and custom solutions.
Company Size
11-50
Company Stage
Seed
Total Funding
$19.2M
Headquarters
London, United Kingdom
Founded
2014
Help us improve and share your feedback! Did you find this helpful?
Health Insurance
Dental Insurance
Vision Insurance
401(k) Retirement Plan
Stock Options
Imandra Inc., a pioneer in neurosymbolic AI and automated logical reasoning, announced the launch of CodeLogician, a cutting-edge LangGraph agent that transforms source code into precise mathematical models and reasons about them using ImandraX, Imandra's flagship automated reasoning system.
Imandra Inc., a leader in AI innovation, has introduced ImandraX, a groundbreaking advancement in neurosymbolic AI reasoning.
Imandra appoints Zehra Akbar as Chief Operating Officer.
Furthermore, Imandra has introduced a Python API, allowing others to easily build AI assistants incorporating its automated reasoning.
AI firm Imandra has launched FIX Wizard, an AI assistant for its FIX connectivity suite.