WE'RE HIRING  

数学と論理学のチカラで
社会に安心と安全を

Safety for society
by the power of logic.

Join Our Team

At Imiron, we're on a mission to push the boundaries of technology in a critical domain. We're a young startup looking for exceptional individuals to join us on this exciting journey. You'll be working with Dr. James Haydon and Prof. Ichiro Hasuo, with a chance to shape the early design of the product.

Who We're Looking For

We're seeking talented individuals across a range of engineering disciplines. Some of our positions will require strong academic credentials (PhD+), whereas for others practical experience and a proven track record are more important than formal qualifications.

Our Tech Stack and Approach

Our Culture

Location

Our office is based in Tokyo, Japan, and we're primarily looking for candidates who can maintain a presence in Tokyo. We value face-to-face collaboration for key meetings and strategic discussions, but we also offer flexibility in day-to-day work arrangements. For exceptional talent, we may consider fully remote work arrangements.

We're always interested in connecting with exceptional talent. If you think you'd be a great fit for our team, we encourage you to reach out using this form.

SERVICE

We support semantic data analysis to identify the system safety boundary.

We provide the technology to realize "formal safety by design." 

いみ-ろん【意味論】
(i-mi-ro-n = "formal sematics" in Japanese)

1. 計算機科学 (= コンピュータの数学) の一分野。狭義には論理計算式の「意味」や「解釈」についての理論をいう。

2. ふるまいを数学のコトバでモデリングして、その本質の理解をめざす学問、および技術。

 TEAM

取締役・創業者

Ichiro Hasuo, Ph.D.

蓮 尾 一 郎 博士(学術)

国立情報学研究所 アーキテクチャ科学研究系教授,数理的高信頼ソフトウェアシステム研究センター長,学術博士(Radboud University Nijmegen, 2008).京都大学数理解析研究所助教,東京大学大学院情報理工学系研究科講師・准教授,国立情報学研究所准教授を経て現職.2016年10月から JST ERATO 蓮尾メタ数理システムデザインプロジェクト研究総括.専門は理論計算機科学,特にシステム検証,プログラミング言語理論における数学的構造に興味を持つ.国際会議 CONCUR 2014 最優秀論文賞,国際会議 ICECCS 2018 最優秀論文賞,国際会議 CAV 2024 Distinguished Paper Award,科学技術分野の文部科学大臣表彰 科学技術賞 研究部門などを受賞.ACM,SAE,日本数学会,日本ソフトウェア科学会,計測自動制御学会,自動車技術会 各会員.

代表取締役・CEO

Masakazu Adachi, Ph.D.

足 立 正 和 博士(工学)

株式会社豊田中央研究所エンジニアリングコンサルを経て、2017年株式会社デンソーへ入社。2020年より、DENSO Automotive Deutschland GmbH へ出向車載ソフトウェア技術の研究開発を行う欧州ユニットを統括自動運転、基盤ソフトウェア、有線/無線通信、セキュリティなど、様々な技術分野を担当。大阪大学博士課程修了。

取締役・CTO

James Haydon, Ph.D.

ジェームズ ヘイドン 博士(学術)

イギリス、ドイツなど複数のスタートアップでテックリードを務めた後、国立情報学研究所において JST ERATO 蓮尾メタ数理システムデザインプロジェクト開発チームチーフを担当。ソフトウェア開発、特に関数型プログラミングへの造詣が深い。英オックスフォード大学博士課程修了。

COMPANY

会社名

 株式会社イミロン (Imiron Co., Ltd.)

設立日

 2024年8月

資本金

 1,000,000円

役員

 代表取締役 足立 正和

 取締役 蓮尾 一郎

 取締役 James Haydon

事業内容

 システム開発に関わるコンサルティング

 データ解析ソフトウェアの開発

 設計支援ソフトウェアの開発

所在地

 〒101-0041

 東京都千代田区神田須田町2丁目3−12

 12KANDA 1005号