Prediction Market・CLOB流動性エンジン 当社では次世代の予測市場向けCLOB（Central Limit Order Book）および流動性エンジンを構築しています。従来の高性能取引システムが持つ確定性とコンポーザビリティを、Web3のオープンで検証可能な決済機能と組み合わせることを目指しています。 あなたにはマッチングエンジン、オーダーライフサイクル、リスク・清算ロジック、オンチェーン／オフチェーンの協調アーキテクチャの設計と実装に直接携わっていただき、システム全体のコアエンジニアリーダーの一人としてご活躍いただきます。 職務内容 / Responsibilities • 予測市場専用CLOBマッチングおよび流動性エンジンの設計と実装を行います。 • オーダーブック構造（価格・時間優先／バッチオークション／ハイブリッド）の設計を行います。 • マッチング、注文取消、部分約定、マッチングにおける決定論的保証を実現します。 • 高性能取引システムの構築を行います。 • 低レイテンシーのマッチングおよびメモリ内オーダーブックの実装を行います。 • 高並列、リプレイ可能、監査可能なマッチングロジックを構築します。 • オフチェーンマッチング＋オンチェーン決済のアーキテクチャを設計します。 • 状態同期やMerkle／zk／コミットリビールなどの検証可能ソリューションを設計します。 • スマートコントラクトの清算・決済モジュールとのインターフェースを設計します。 • 予測市場固有のロジックを実装します。 • Yes/Noおよびマルチチョイスを含む複数アウトカムマーケットに対応します。 • マーケットの決済、オラクル連携を実装します。 • リスクエクスポージャー、マージン／担保ロジックを設計・実装します（該当時）。 • プロダクト、リサーチ、クオンツ／マーケットメイキングチームと協業します。 • プロフェッショナルなマーケットメイクおよびアクティブトレーディング戦略をサポートします。 • マッチングルールおよび流動性カーブの最適化を行います。 • システムの性能、安全性、保守性を継続的に改善します。 • ストレステスト、バックテスト、異常状態からのリカバリーを実施します。 • 取引の公平性およびMEV／レイテンシーエッジリスク管理を行います。 応募要件 / Requirements • コンピュータサイエンス、ソフトウェア工学または関連分野の学士号以上を有しています。 • バックエンド／システムエンジニアリングの実務経験が5年以上あります。 • 取引システム／Web3／金融システムの実務経験が2年以上あります。 以下の経験をお持ちの方は歓迎します： • CLOB／マッチングエンジンの開発経験 • DEX／Perp／予測市場の開発経験 • 取引所、マーケットメイク、クオンツトレーディングインフラの経験 • 以下の技術スタックのうち少なくとも一つに強みを持つ方（全て要求するものではありません）： 後端／システム • Rust／Go／C++／Java • Node.js／TypeScript（API／オーケストレーション用） • 並行プログラミング、メモリ管理、低レイテンシーシステム設計 ブロックチェーン／Web3 • Solidity／Foundry／Hardhat • EVMインタラクション、イベント駆動アーキテクチャ • オンチェーン決済、ステートマシン設計の知見 • 取引システムのコアコンセプト（オーダーブック、マッチング、レイテンシー、公平性、リプレイ、決定論、状態一貫性）に対する深い理解 • 優れたシステム設計および抽象化能力をもち、コアモジュールを独立して担当できる方 • 英語の技術ドキュメントを問題なく読み込み、海外のインフラ／リサーチを迅速に吸収できる方 歓迎要件 / Nice to Have • Polymarket、Kalshi、Opinion、Futarchyなど予測市場関連の実務経験 • バッチオークション／フリークエントバッチ／AMM-CLOBハイブリッドの知見 • オフチェーンマッチングの検証設計経験 • Merkleステートコミットメントの知見 • ZK証明／不正証明／オプティミスティック決済の知見 • クオンツ／マーケットメイキング／トレーディングインフラのバックグラウンド • DevOps／SREの知見 • Docker／Kubernetes／CI/CDの実務経験 • ストレステスト、モニタリング、障害復旧の実務経験 • オープンソースのマッチングエンジン、取引システム、Web3インフラプロジェクトへの参加経験 当社が提供できるもの • 次世代予測市場のコア取引インフラ設計に直接参加する権限 • マッチングルール、アーキテクチャ、実行モデルにおける高い技術的自由度 • トレーディング／マーケットメイキングチームとの深い協業機会。単なる「API実装エンジニア」ではありません • トップクラスのエンジニアと無制限に交流できる環境。給与およびトークンは面談にて相談可能