Simplify Logo

Full-Time

Product Manager

Automated Reasoning for Sysml v2

Confirmed live in the last 24 hours

Imandra

Imandra

11-50 employees

Automated reasoning and formal verification tools

Hardware
Enterprise Software
AI & Machine Learning

Mid, Senior

Austin, TX, USA

Category
Product Management
Product
Required Skills
Sales
Management
Marketing
Requirements
  • 3+ years of experience in product management or related roles.
  • Strong programming expertise.
  • Experience developing a collaborative ecosystem.
  • Knowledge of Model-Based Systems Engineering (MBSE).
  • Bachelor's degree in engineering, computer science, or equivalent.
Responsibilities
  • Product Management for Automated Reasoning and Formal Verification technology:  Influence and participate in the development and enhancement of products focused on automated reasoning and formal verification for SysML v2 models.
  • Collaboration Strategies:  Develop and execute collaboration strategies with major Model-Based Systems Engineering (MBSE) tools providers.
  • Cross-functional Leadership:  Collaborate with senior management, engineering, marketing, and sales teams to drive product success and market adoption.
  • User and Partner Engagement:  Work directly with end users and strategic partners to gather feedback, understand requirements, and ensure product satisfaction. Create technical examples and proofs of concept to demonstrate the capabilities of Imandra's products.

Imandra focuses on automated reasoning and formal verification technology, providing tools to analyze and verify the correctness of programs, especially in the financial sector. Its main product is a programming language and reasoning engine that validate complex algorithms and formalize protocols like FIX, SWIFT, and IBan for secure transactions. The company offers cloud-based AI tools, including APIs for automating processes and ensuring model correctness. Imandra aims to enhance the reliability of critical algorithms in finance while continuously innovating to meet client needs.

Company Stage

Seed

Total Funding

$18.7M

Headquarters

London, United Kingdom

Founded

N/A

Growth & Insights
Headcount

6 month growth

23%

1 year growth

52%

2 year growth

52%
Simplify Jobs

Simplify's Take

What believers are saying

  • The $5 million seed investment led by AlbionVC and others will fuel Imandra's growth in financial services and new applications like autonomous vehicles and robotics.
  • Imandra's partnerships with technology firms like Itiviti and its expansion into diverse sectors such as healthcare and aerospace highlight its broad market potential.
  • The introduction of tools like the FIX Wizard AI Assistant and Python API demonstrates Imandra's commitment to continuous innovation and user accessibility.

What critics are saying

  • The niche focus on financial protocols may limit Imandra's market reach compared to more diversified competitors.
  • Rapid expansion into new sectors like autonomous vehicles and robotics could stretch resources thin and impact core financial services.

What makes Imandra unique

  • Imandra's unique combination of a programming language and reasoning engine sets it apart in the AI and formal verification space, offering a comprehensive solution for scrutinizing complex algorithms.
  • The company's focus on formalizing and verifying industry-standard financial protocols like FIX, SWIFT, and IBan provides a specialized service that is critical for secure financial transactions.
  • Imandra's 'Reasoning as a Service' platform democratizes advanced symbolic AI, making it accessible to users without specialized backgrounds, unlike competitors who may require extensive expertise.