数理エンジニア

この求人について

企業の機密データを外部に露出させずLLMを活用する、秘匿化LLMプロジェクトの数理エンジニアです。MPC Leadと連携し、秘密計算プロトコルの設計からGPU上の実装まで担当します。業務では、2PC・3PC、semi-honest・malicious、preprocessingの有無など複数の設計条件を考慮してMPCプロトコルを設計・実装します。Transformerの行列演算、線形演算、Softmax、LayerNorm、GeLU、SiLU、Attentionなどの構成要素を、秘密計算プロトコル上で扱える形に再構築します。GPUやSIMDを用いた性能向上、通信オーバーヘッドの削減、Shamir・Replicated・Additiveなどによる秘密分散ストレージの設計・実装も担います。成果はCCS、USENIX Security、CRYPTO、PoPETs、NeurIPSなどの国際会議への論文投稿やOSS公開につなげます。Function Secret Sharing、Replicated Secret Sharing、HE/MPCハイブリッドなどの手法を、ワークロード、脅威モデル、デプロイメント想定に応じて選択・組み合わせる方針です。zkRollup、zkVM、zkMLなどWeb3領域を含むZKP実装経験も歓迎されます。有限体演算、楕円曲線、多項式コミットメント、算術回路への変換に関する知見を活用できます。勤務地は東京都渋谷区千駄ヶ谷の北参道オフィスで、北参道駅から徒歩3分、原宿駅から徒歩9分、千駄ケ谷駅から徒歩10分です。雇用形態は契約社員です。