职位描述：
1、 研究形式化验证技术在网络领域的应用，探索网络系统自动化验证方法；
2、通过对网络控制面和数据面进行建模验证，实现网络变更前自动化验证，预测影响和风险。
职位要求：
1、 硕士及以上学历，计算机、通信等相关专业；
2、掌握形式化方法领域的相关知识、形式化建模方法和形式验证工具使用及应用，有较强的数学建模能力，如：SAT/SMT/Z3 等求解器，基于 SMV 模型验证等；
3、熟悉学术界在网络控制面或数据面验证领域的相关论文和工具的技术原理和实践，如：Batfish、Minesweeper、HSA/BDD 等；
4、 编程基础扎实，能使用 C/C++/Python/Go 等至少一门编程语言。