職務内容
このポジションでは、高度なスキルを持つ研究暗号技術者を求め、安全なネットワークメッセージングプロトコル（NMC）の開発と強化に貢献していただきます。理想的な候補者は、既存プロトコルの分析と検証、新しいセキュリティ証明の作成、プロトコル性能の最適化など、包括的な暗号研究活動に従事します。また、多様なセキュリティシナリオや敵対モデルに対応する革新的なプロトコルバリアントの探求も含まれます。さらに、技術文書のレビュー、内部チームへの調査結果のプレゼンテーション、新しい研究方向を推進するための共同ブレインストーミングセッションへの参加も責任となります。
主な職務
- 既存のNMCプロトコルを厳密に検証し、潜在的な脆弱性や攻撃に対する堅牢性を確保します。
- ホワイトペーパー、研究報告書、技術文書などの技術的な書類をレビューし、正確性と明確性を維持します。
- 高度な数学的および暗号技術を用いて、確立されたNMCプロトコルの新しいセキュリティ証明を開発し、文書化します。
- 既存プロトコルを最適化し、効率性を高め、計算オーバーヘッドを削減し、実世界のアプリケーションにおけるスケーラビリティを向上させます。
- 同期/非同期通信、計算/ITS（知的財産セキュリティ）モデル、受動的/能動的敵対シナリオなど、さまざまな運用要件に対応するプロトコルバリアントを設計および実装します。
- クロスファンクショナルチームと協力し、最先端の暗号研究と業界のベストプラクティスを統合して、新規プロトコルをゼロから設計します。
- 複雑な暗号概念、プロトコル設計、セキュリティ方法論について同僚に教育するための内部プレゼンテーションを準備し、実施します。
- 定期的なブレインストーミングセッションに参加し、新しいアイデアを探求し、革新的なソリューションを提案し、暗号研究の戦略的方向性に貢献します。
- 暗号とネットワークセキュリティの最新動向を把握し、プロトコルが最先端であり、進化する標準に準拠していることを確認します。
- 将来の参照とチームコラボレーションのために、すべての研究プロセス、調査結果、プロトコル変更を明確かつ構造化された方法で文書化します。
求めるスキル・経験
- 暗号とネットワークセキュリティに焦点を当てた、コンピュータサイエンス、数学、または関連分野の博士号。
- プロトコル設計、セキュリティ証明、形式的検証方法論に関する実績のある専門知識。
- 対称/非対称暗号化、ハッシュ関数、デジタル署名などの暗号アルゴリズムに精通していること。
- プロトコル実装におけるセキュリティリスクを特定し、軽減するための優れた分析スキル。
- リモート環境で独立しておよび協力的に作業でき、内部プレゼンテーションのための強いコミュニケーションスキル。
- 形式的検証フレームワーク（Tamarin、ProVerifなど）、暗号ライブラリ（OpenSSL、libsodiumなど）、プログラミング言語（Python、C++など）などのツールの経験。
- 静的/移動敵対者、ブール/算術演算、リプレイ攻撃、中間者攻撃、サイドチャネル攻撃などの敵対モデルに関する知識。
- 複雑な技術概念を明確かつ簡潔に説明するための強力な文章および口頭コミュニケーションスキル。
- 学術論文や業界出版物から調査結果をまとめるための徹底的な文献レビューを実施する能力。
- 困難な暗号問題に対処し、革新的なソリューションを開発するための優れた問題解決スキル。
- 技術文書や研究論文を執筆するためのLaTeXの習熟度。
- プロトコルのテストと展開のためのクラウドコンピューティングプラットフォームと分散システムの経験。
- 役割に該当する場合、ブロックチェーン技術とそのセキュリティへの影響の理解。
- 最小限の監督下で作業し、正確性とセキュリティの高い基準を維持する能力。
- リモートワーク環境でプロジェクトの締め切りと成果物を達成するための強力なタイムマネジメントスキル。