职位要求

具体岗位描述：

1. 在系统架构安全形式化验证等方向有研究经验博士或优秀硕士；
2. 具备较强的学术探索和系统原型实现能力，有相关方向的科研经历和学术论文发表

招聘人数：8人