Full-Time

Product Manager

Posted on 7/23/2024

Imandra

Imandra

11-50 employees

Automated reasoning and formal verification tools

No salary listed

Austin, TX, USA

In Person

Category
đź’ˇProduct (1)
Required Skills
Product Management
Requirements
  • 3-5 years experience
  • Technical background with a working knowledge and experience of software development and working closely with a development team
  • Excellent verbal and written communication skills
  • STEM degree from a reputable institution (preferred but not required)
Responsibilities
  • Develop a technical understanding of Automated Reasoning and our products
  • Centrally coordinate the product development roadmap, and incorporate stakeholder and client feedback
  • Balance prioritization of short-term requirements vs strategic direction
  • Take a lead client-facing role in managing customer projects and be accountable for their success
  • Be a stakeholder and contributor to our marketing content creation
  • As a customer-facing product expert, identify opportunities for revenue growth with existing customers
Desired Qualifications
  • Software development experience with functional languages (e.g. OCaml, GitHub)
  • Working with cloud infrastructure, specifically GCP
  • An interest in statistical AI (e.g. LLMs)
  • An interest in automated reasoning (e.g. theorem proving and formal verification)

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

Simplify Jobs

Simplify's Take

What believers are saying

  • Neurosymbolic AI is gaining traction, enhancing Imandra's automated reasoning capabilities.
  • Financial sector's AI adoption for compliance boosts demand for Imandra's verification technology.
  • Imandra's expansion into autonomous vehicles and robotics opens new market opportunities.

What critics are saying

  • Emerging competition in neurosymbolic AI from tech giants may challenge Imandra's position.
  • Rapid sector expansion may stretch resources, impacting core financial services focus.
  • Reliance on venture capital funding pressures Imandra for rapid growth, risking strategic missteps.

What makes Imandra unique

  • Imandra specializes in automated reasoning and formal verification technology for financial protocols.
  • Their core product combines a programming language with a reasoning engine for algorithm validation.
  • Imandra's cloud-based AI tools offer rule synthesis and model correctness verification.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Health Insurance

Dental Insurance

Vision Insurance

401(k) Retirement Plan

Stock Options

Growth & Insights and Company News

Headcount

6 month growth

↓ -3%

1 year growth

↑ 4%

2 year growth

↑ 8%
AiThority
Mar 26th, 2025
Imandra Unveils CodeLogician: A Groundbreaking Neurosymbolic AI Agent for Mathematical Code Reasoning

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.

BobWeb
Feb 26th, 2025
ImandraX: Advancing Neurosymbolic AI Reasoning with Automated Logical Verification

Imandra Inc., a leader in AI innovation, has introduced ImandraX, a groundbreaking advancement in neurosymbolic AI reasoning.

WV News
Jul 30th, 2024
Imandra Appoints Zehra Akbar as Chief Operating Officer

Imandra appoints Zehra Akbar as Chief Operating Officer.

The Fintech Times
Apr 23rd, 2024
Imandra's FIX Wizard AI Assistant Debuts to Aid Financial Protocol Understanding

Furthermore, Imandra has introduced a Python API, allowing others to easily build AI assistants incorporating its automated reasoning.

Global Trading
Apr 22nd, 2024
Imandra launches AI FIX connectivity tool

AI firm Imandra has launched FIX Wizard, an AI assistant for its FIX connectivity suite.

INACTIVE