Full-Time
Technical Writer
Confirmed live in the last 24 hours
Imandra
11-50 employees
Automated reasoning and formal verification tools
Junior, Mid
Austin, TX, USA
- 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
- 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 correctness of programs. Its main product includes a programming language and a reasoning engine that validate complex algorithms, particularly in the financial sector. Imandra focuses on formalizing industry-standard protocols like FIX, SWIFT, and IBan, which are crucial for secure financial transactions. This helps clients, such as banks and trading platforms, improve the reliability of their algorithms. The company offers cloud-based AI tools, including APIs like Imandra Rule Synth for automating processes and integrating with SysML v2 to enhance program development. Imandra's revenue comes from subscription services, licensing, and custom solutions, and it partners with other tech firms to broaden its offerings. The goal is to bring rigor and governance to critical algorithms in finance while continuously innovating to meet client needs.
Company Stage
Seed
Total Funding
$18.7M
Headquarters
London, United Kingdom
Founded
2014
6 month growth
↑ 3%1 year growth
↑ 28%2 year growth
↑ 50%
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.
Help us improve and share your feedback! Did you find this helpful?