【大学発/論理学×AI】システム開発を上流から変革し、生成AI時代の信頼を構築する！社会インフラシステムを支える、シニアコンサルタントメンバーを募集！

業務詳細

急速に発展する自動運転・生成AIなどの侵襲的テクノロジーが社会に浸透する中で、「その安全性は本当に証明できるのか？」「なぜこの判断をしたのか説明できるのか？」という問いへの答えが求められています。

本ポジションでは、様々な産業領域にこの革新的技術を広げ、実社会の課題に応えるソリューションを共創するミッションを、CEO直下で中心となって推進していただく方を募集いたします。

主な業務内容：
⚫︎顧客企業（主にエンタープライズ）の技術課題やニーズをヒアリングし、SpecForgeによる形式仕様記述を活用した解決策を提案・設計
⚫︎概念実証（PoC）や実プロジェクトの立ち上げ・推進・納品までのプロジェクトマネジメント
⚫︎顧客エンジニアへの技術支援・研修・導入サポート
⚫︎形式手法やSpecForgeに関する啓蒙・教育活動（セミナー登壇、技術ドキュメント作成など）

会社紹介
株式会社イミロンは、国立情報学研究所およびJST ERATOの先端研究成果を活かし、「形式手法」という論理学に基づいた数理技術を軸に、ソフトウェアやシステムの仕様を数学的に厳密に記述・検証することで、設計段階の品質保証から、運用時における説明責任を実現する、エンジニアリングプラットフォーム「SpecForge」を開発・提供しています。

求める人物像

【必須スキル】
o 形式手法に関する基礎知識、または、数学や論理学の素養
o 複雑な技術を専門外にも伝えられる高いコミュニケーション力

【歓迎スキル】
o 大学や研究機関での形式手法に関する研究経験
o ソフトウェアまたはシステム開発におけるプロジェクトマネジメント経験（目安3年以上）
o 開発プロセスや品質保証に関する深い知見
o 顧客ヒアリングに基づく提案・コンサルティング経験
o 特定のプログラミング言語（Haskell, Rust, Pythonなど）における高度な開発経験

【求める人物像】
o 新しい技術や未開拓な分野に挑戦することを楽しめる方
o 顧客の成功を自らの喜びとし、長期的なパートナーシップを築きたい方
o 自社の技術に誇りを持ち、その価値を社会に広めることに情熱を持てる方
o 自律的に考え、行動し、プロジェクトを推進できる方
o インターナショナルな組織の中で、他者を尊重しながら、協働できる方。

【組織体制】
・CEO直下での事業開発部にて、ディレクター候補として動いていただきたいと考えています

募集情報