Full-Time

Technical Writer

Confirmed live in the last 24 hours

Imandra

Imandra

11-50 employees

Automated reasoning and formal verification tools

Fintech
AI & Machine Learning

Junior, Mid

Austin, TX, USA

Category
Technical Writing
Content & Writing
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

Imandra specializes in automated reasoning and formal verification technology, providing tools to analyze and verify the properties of programs. Its main product includes a programming language and a reasoning engine that validate complex algorithms. Operating mainly in the financial sector, Imandra focuses on formalizing industry-standard protocols like FIX, SWIFT, and IBan to ensure secure financial transactions. The company offers cloud-based AI tools and services, including APIs like Imandra Rule Synth, which automates rule synthesis from log files. By integrating with SysML v2, Imandra helps clients identify design bugs early, reducing development efforts. Revenue is generated through subscription services, technology licensing, and custom solutions. Imandra aims to enhance the reliability and governance of critical algorithms in finance while continuously innovating to meet client needs.

Company Stage

Seed

Total Funding

$18.7M

Headquarters

London, United Kingdom

Founded

2014

Growth & Insights
Headcount

6 month growth

3%

1 year growth

28%

2 year growth

50%
Simplify Jobs

Simplify's Take

What believers are saying

  • Growing demand for AI-driven compliance tools in finance boosts Imandra's market potential.
  • Expansion into autonomous vehicles and robotics opens new revenue streams for Imandra.
  • Recent $5 million seed funding supports growth and talent acquisition in the US and UK.

What critics are saying

  • Major tech companies investing in symbolic reasoning pose competitive threats to Imandra.
  • Expansion into new industries may dilute focus on core financial services offerings.
  • Reliance on cloud services exposes Imandra to potential infrastructure disruptions.

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?