岗位职责：
1.参与形式化建模与形式化验证相关技术研究；
2.研究和开发密码学算法和工具，或自动化测试模型和工具；
3.参与相关领域调研、设计、编码和调试等工作。