首席软件安全工程师，实验室
岗位摘要
运行高风险、高期望值的安全项目组合，项目周期通常为数周；探索核心研究流程在极端隔离下的生存能力；研究用密码学保证替代信任机制，如零知识证明和认证链；构建基于 hypervisor 的微虚拟机工作负载隔离，覆盖整个集群
岗位职责
- 运行高风险、高期望值的安全项目组合，项目周期通常为数周
- 探索核心研究流程在极端隔离下的生存能力
- 研究用密码学保证替代信任机制，如零知识证明和认证链
- 构建基于 hypervisor 的微虚拟机工作负载隔离，覆盖整个集群
- 通过形式化验证管道编译 ML 内核，使编译层破坏可被数学检测
- 开发自动化系统，用于按需创建、运行和销毁专用计算单元
- 将成功项目移交给生产团队，或撰写总结报告
任职要求
- 具备扎实的软件工程基础，作为基本要求
- 在至少一个领域有深入专长：固件或硬件安全、应用密码学、操作系统/内核/hypervisor 内部、形式化方法、逆向工程或高保障跨域系统
- 能够自主指导并构建项目
- 愿意在问题需要时跨层跳跃，解决复杂挑战
- 倾向于尝试可能失败但具有突破性的方案，而非安全的渐进式改进
- 对 AI 的发展轨迹有深刻认识，并对当前安全状况感到不安
- 适应快速迭代、高风险的研究环境，能接受约 30% 的项目成功率