职位描述
本职位诚聘一名高水平的密码学研究专家，负责参与安全网络消息协议（NMC）的开发与优化工作。理想候选人将从事全方位的密码学研究活动，包括分析与验证现有协议、构建新型安全证明、优化协议性能等。该岗位还将涉及探索适应不同安全场景和对抗模型的创新协议变体。此外，候选人需负责审阅技术文档、向内部团队汇报研究成果，并参与协作式头脑风暴会议以推动新研究方向。
核心职责
- 对现有NMC协议进行严格验证，确保其能抵御潜在漏洞和攻击
- 审阅和完善技术白皮书、研究报告及文档等书面材料，保证内容准确性与清晰度
- 运用高等数学与密码学技术，为既有NMC协议开发并记录新的安全证明
- 优化现有协议以提升效率、降低计算开销，增强实际应用中的可扩展性
- 设计满足不同操作需求的协议变体，如同步/异步通信、计算/信息理论安全（ITS）模型及被动/主动对抗场景
- 跨部门协作设计全新协议，整合前沿密码学研究成果与行业最佳实践
- 准备并开展内部技术宣讲，向同事阐释复杂密码学概念、协议设计与安全方法论
- 定期参与头脑风暴会议，探索新思路并提出创新解决方案，推动密码学研究战略发展
- 持续追踪密码学与网络安全领域最新进展，确保协议保持技术领先性并符合演进标准
- 以清晰结构化方式记录研究过程、发现成果及协议修改，便于后续参考与团队协作
任职要求
- 计算机科学、数学或相关领域博士学位，研究方向为密码学与网络安全
- 在协议设计、安全证明及形式化验证方法学方面具有公认专长
- 精通密码算法，包括对称/非对称加密、哈希函数与数字签名
- 出色的分析能力，能识别并缓解协议实现中的安全风险
- 具备远程独立工作与协作能力，拥有进行内部技术宣讲的出色沟通技巧
- 熟悉形式化验证工具（如Tamarin、ProVerif）、密码学库（如OpenSSL、libsodium）及编程语言（如Python、C++）
- 了解静态/移动对抗者模型、布尔/算术运算，以及重放攻击、中间人攻击、旁路攻击等场景
- 优秀的书面与口头表达能力，能清晰简洁地阐述复杂技术概念
- 具备文献综述能力，可综合学术论文与行业出版物研究成果
- 卓越的问题解决能力，应对密码学难题并开发创新解决方案
- 熟练使用LaTeX编写技术文档与研究论文
- 有云计算平台与分布式系统协议测试部署经验者优先
- 了解区块链技术及其安全影响（如岗位相关）
- 在最小监督下仍能保持高精度与安全标准的工作能力
- 出色的时间管理技能，确保远程工作环境中按时完成项目交付
