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

【業務概要】
企業との数理最適化に関する共同研究プロジェクトを担っていただきます。主にプロジェクトのシステム開発から運用設計、数理最適化を通じてサービスの品質向上と業務効率化を追求しています。

【主な業務内容】
1.システム開発全般（要件定義～設計・実装・運用設計）
・インフラ要件／アプリケーション要件定義
・システム構成図、ネットワーク設計、運用方式設計
・サイジング、耐障害設計、災害対策設計
・ソフトウェア構成／セキュリティ設計／ログ管理
・AWS、GCP等のクラウド基盤設計・構築
・CI/CD 環境整備、監視運用スクリプト作成など開発体制の強化

2.運用設計・保守体制の構築
・運用設計書に基づく運用フロー策定と最適化
・運用保守体制の整備と改善
・インシデント対応／監視ツール導入／信頼性指標の策定と改善活動

3.数理最適化に関連する業務
・数理最適化・オペレーションズリサーチを活用したサービス／機能の最適化

4.ドキュメント整備とチームコミュニケーション
・各種仕様書作成・更新
・社内外ステークホルダーとの調整・折衝

【開発環境】
・主な開発言語: Python, TypeScript, JavaScript, Rust, Go, ShellScript
・ライブラリ/フレームワーク/スキーマ: FastAPI, Next.js, React, Vue.js, Laravel, Nest.js, Node.js, Flutter, Jest, pytest, Cypress
・クラウドサービス: Azure, AWS (ECS, Lambdaなど), GCP
・デザインツール: igma、Photoshop、Illustrator
・開発 CI/CD: GitHub, GitHub Actions, Docker, Kubernetes, Codecov, Datadog
・その他ツール: Slack, Notion, Microsoft 365 (Teams), G-Suite (Google Workspace)

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

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

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