仕事内容

【募集の背景】
株式会社イミロンは、国立情報学研究所およびJST ERATOの先端研究成果を活かし、ソフトウェアやシステムの仕様を厳密に記述・検証することで、設計段階の品質保証から運用時における説明責任を実現するエンジニアリングプラットフォーム『SpecForge』を開発・提供しています。

技術的な優位性は確立されており、エンタープライズ企業からの引き合いも増えつつありますが、アカデミックな技術を顧客のビジネス現場に落とし込むための「接続役」が不足しています。そこで今回、新設する「ソリューション部門」の立ち上げメンバーとして、技術的知見を武器に顧客の成功に伴走していただける方を募集します。

【業務詳細】
プロダクト部門およびグロース部門と連携し、「受注前の技術支援（Pre-Sales）」から「受注後の導入・活用支援（Post-Sales/CS）」までを一貫してリードしていただきます。

■ 技術コンサルティング・プリセールス
- 顧客企業（主に自動車OEM、サプライヤー、社会インフラ企業）の課題をエンジニアリング視点でヒアリングし、『SpecForge』を用いた解決策を提案・設計
- 顧客の実データ（設計仕様文書、シミュレーションモデル、ログデータ等）を用いたデモンストレーションおよび概念実証（PoC）の実施

■ 導入エンジニアリング・オンボーディング
- 顧客の自然言語仕様書の形式仕様（当社独自DSL）への落とし込み支援および技術的な実装サポート
- 顧客の開発エコシステム（CI/CD、MBD環境等）へのツール統合およびワークフロー構築支援

■ プロダクトフィードバック
- 現場での技術的課題やエンジニアの声を開発チームへフィードバックし、製品機能の改善・強化に貢献

必要な経験・スキル

【必須スキル】
- ソフトウェアエンジニアリングまたはシステム開発の実務経験（目安3年以上 / Python, C++, MATLAB等）
- 顧客折衝、要件定義、または技術サポートの実務経験（SIer、受託開発、プリセールス等）
- 新しい技術概念（形式手法・数理論理学）を学び、実務に応用する強い意欲
- 複雑な技術課題を噛み砕き、顧客エンジニアと円滑に合意形成できるコミュニケーション力

【歓迎スキル】
- 製造業（特に自動車業界）における組込みソフトウェア開発、またはモデルベース開発の経験
- ソフトウェア開発プロセス標準モデル、機能安全（ISO 26262）、SOTIF、その他自動車関連法規・標準に関する基礎知識
- 大学や研究機関での形式手法、または数理論理学に関する学習・研究経験
- ビジネスレベルの英語力（多国籍な開発チームとの連携のため）

■「技術の翻訳家」
- アカデミックな技術と、ビジネス現場のギャップを埋めることにやりがいを感じる方。
-「論理」と「実践」の架け橋となり、新しい開発文化を作ることを楽しめる方

■「誠実なプロフェッショナル」
- 技術的な正しさに基づき、プロジェクトを正しい方向へ導くための建設的な主張ができる方
- 自社の技術に誇りを持ち、その価値を社会実装することに情熱を持てる方
- 自律的に考え、行動し、プロジェクトを推進できる方

■「不確実性を楽しむ自走力」
- 創業期の少人数組織において、自らフローを作り、役割を広げていくことにポジティブな方
- インターナショナルな組織の中で、他者を尊重しながら協働できる方

株式会社イミロンについて

Vision

論理の力で”安全”と”なぜ”をデザインする

About /社名の由来
いみ－ろん【意味論】
1. 計算機科学 (= コンピュータの数学) の一分野。狭義には論理計算式の「意味」や「解釈」についての理論をいう。
2. ふるまいを数学のコトバでモデリングして、その本質の理解をめざす学問、および技術。

事業内容

国立研究開発法人 科学技術振興機構における大学発新産業創出プログラム、JST START 起業実証支援の成果（課題名：ソフトウェア品質の論理的説明技術による、自動運転の本格普及の実現・研究代表者：蓮尾 一郎（大学共同利用機関法人 情報・システム研究機構 国立情報学研究所（NII））をもとに「株式会社イミロン」を設立しました。

イミロンでは、自動運転や生成AIをはじめとする侵襲的新情報技術（社会のあり方を大きく 変える情報技術）に対し、論理学に基づくセーフガード技術や論理的説明技術を提供。

「安全性」「信頼性」「説明責任」を飛躍的に向上させることで、社会への受け入れ方を明示化し、人間中心の安心・安全な情報化社会の実現に貢献していきます。

【開発・提供しているプロダクト】
数学的に厳密な「形式仕様」をAIと組み合わせて鍛え上げる、エンジニアリングプラットフォーム「SpecForge」を開発・提供。大規模かつ複雑化するミッションクリティカルシステムの「安全性」「信頼性」「説明責任」を飛躍的に向上させることを可能にします。