Imiron

Software / AI & Formal Verification

Overview

Imiron is a Japanese company specializing in safeguarding and providing logical explanation technologies for advanced information systems, including automated driving and generative AI. The company aims to enhance the safety and reliability of large-scale, complex systems through formal logic-based solutions.

Key Information

Central Office: Tokyo, Japan
Founded: 2024

Links

Website Careers portal

Past Jobs

EXPIRED

Haskell Developer

🇯🇵

Tokyo, Japan

Haskell

First seen Feb 27, 2025 Last seen Apr 15, 2025