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 backend systems primarily use Haskell and embrace functional programming principles.
We strive for correctness and quality, balanced with the need for rapid prototyping and experimentation.
Our Culture
Relaxed work environment that values substance over formality.
Focus on doing things right, without getting bogged down in unnecessary details.
Collaborative atmosphere.
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号