Full-Time

Technical Writer

Posted on 9/13/2024

Imandra

Imandra

11-50 employees

Formal verification for financial algorithms

No salary listed

Austin, TX, USA

In Person

Category
Content & Writing (1)
Requirements
  • Bachelor’s degree (or equivalent) in computer science, communications, or relevant technical field
  • Firm understanding of SDLC (systems development lifecycle)
  • Previous experience in software development or technical writing of software documentation
  • Ability to quickly grasp complex technical concepts and make them easily understandable in text and pictures
Responsibilities
  • Gain deep understanding of products and services, and translate complex information into simple, polished, engaging content
  • Write marketing content - e.g. blog posts, website copy, press releases
  • Develop comprehensive documentation that meets organizational standards
  • Write user-friendly content that meets the needs of target audience, turning insights into language for user success
  • Develop and maintain detailed database of reference materials, including research, usability tests, and design specifications
  • Evaluate current content and develop innovative methods for improvement
Desired Qualifications
  • A passion to change how things work for the better and the drive to execute it.
  • An eagerness to inform and educate.
  • A belief that the strength of a team is greater than the sum of its individual parts.
  • Confidence in working with stakeholders and clients across technical and commercial disciplines.
  • A vision to bring our products to life through engaging content for different audiences.

Imandra.ai provides automated reasoning and formal verification tools for analyzing and verifying software, with a core product that combines a programming language and a reasoning engine. The company targets the financial sector, formalizing and verifying industry-standard protocols such as FIX, SWIFT, and IBAN to improve reliability and governance of critical algorithms. Its cloud-based tools include APIs like Imandra Rule Synth, which creates rules from log files, and integrations with SysML v2 to prove model correctness and detect design bugs early. Imandra differentiates itself by focusing on formal verification and governance for financial systems, often partnering with other tech firms (e.g., Itiviti) to expand its offerings. The goal is to help clients ensure correct, efficient, and compliant algorithms through rigorous automated reasoning and verification.

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

  • Goldman Sachs adopts Imandra for auditing complex trading algorithms since 2015.
  • $5M seed from AlbionVC, IQ Capital, LiveOak fuels US-UK expansion in 2019.
  • Imandra Universe APIs integrate reasoning into ChatGPT, Claude for AI governance.

What critics are saying

  • Lean 4 erodes moat with free neurosymbolic tools by 2026.
  • AWS Z3 services undercut cloud pricing for banks within 12 months.
  • SysML v2 obsoletes integrations as Cameo adopts native verification in 2025.

What makes Imandra unique

  • Imandra's OCaml-based logic bridges SMT solvers and inductive provers for industrial verification.
  • CodeLogician neurosymbolic agent translates code into models for automated reasoning via ImandraX.
  • FIX Wizard AI automates FIX protocol verification for financial connectivity suites.

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

5%

1 year growth

5%

2 year growth

12%
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.

Bob Webmaster
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.

WVNEWS
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