数理最適化・ソフトウェアエンジニア（公共・安全保障領域／リード）｜数理最適化および量子計算のクラウドサービス・ソフトウェア開発を提供するスタートアップ

【業務概要】
官公庁・大企業との共同プロジェクトにおいて、数理最適化を核とした技術開発とプロジェクト推進を担います。
顧客・パートナー企業・社内の研究者／ソフトウェアエンジニアと連携し、技術的な実現性と現場での利用可能性を両立する解をつくります。

【主な業務内容】
1. 課題の構造化・要件定義
・顧客の業務、運用ルール、制約条件、評価指標を整理し、最適化・シミュレーションの対象として定義
・不確実性や状況変化を含む意思決定課題を、解くべき問題へ分解
・顧客・パートナー企業との技術ディスカッション、提案・計画書作成

2. 最適化モデル・アルゴリズムの設計
・組合せ最適化、数理計画、制約充足、多目的最適化、ヒューリスティクス等を用いたモデル設計
・大規模問題に対する計算量・解品質・説明可能性のトレードオフ設計
・シナリオ比較、代替案提示、運用者が制約や優先度を調整できる仕組みの設計

3. ソフトウェア実装・検証
・Pythonを中心とした最適化エンジン、API、検証用アプリケーションの実装
・シミュレーション環境での性能評価、テスト設計・実施、技術文書・報告書の作成
・当社の最適化技術・OSS・各種ソルバーを活用した実装および改善

4. プロジェクト推進・技術リード
・アジャイルな検証サイクルの計画、進捗・リスク・品質管理
・顧客およびパートナー企業との論点整理、技術的な期待値調整
・若手メンバーのレビュー・育成、技術知見のドキュメント化と再利用可能な資産化

5. 情報保全を前提とした開発
・案件ごとの情報保全ルール、閉域環境、データ取扱い要件を理解し、適切に開発を推進
・必要に応じて、ローカル環境・閉域環境で利用可能なツールや開発プロセスを設計

【プロジェクト例】
・大規模な輸送・配置・資源配分計画の最適化
・複数の主体・設備が関わるオペレーションの計画立案と割当の最適化
・業務上の複雑な制約を満たす計画立案、シミュレーション、代替案比較
・最適化モデルを利用するAPI・アプリケーション・評価基盤の開発

完全週休2日制、年末年始休暇、夏季休暇、セーフティネット休暇、育児介護休暇、ファミリーサポート休暇

・各種保険完備
・交通費全額支給
・PC貸与
・モニター貸与
・研究費補助
・書籍購入補助

東京工業大学（現・東京科学大学）西森研究室出身の量子アニーリング研究者らにより、JST-START（大学発新産業創出プログラム）の研究成果をもとに2018年設立された大学発ディープテックスタートアップ。「社会を計算可能にし、人類の進歩に貢献する」をミッションに掲げ、製造・物流・交通・通信・エネルギーなどの基幹産業および公共領域で、複雑な計画・配分・制御課題の解決を支援。日本・英国・EUを中心に60件以上のユースケースを創出。NEDO「ポスト5G情報通信システム基盤強化研究開発事業」に採択され、量子コンピュータ産業化に向けたミドルウェア開発を推進。