25秋招博士--网络配置管理研究员（南京北京）

1、面向数据通信网络，通过形式化方法，实现网络连通性校验和配置自动生成，支持Intent引擎领先； 2、聚焦网络数据面/配置面验证算法，配置综合算法等方向的研究，推动算法落地产品，构建产品关键竞争力； 3、紧跟业界在相关领域的最新进展，积极与产品和客户沟通了解真实需求，与高校和产品展开合作，引领技术创新，形成高价值专利。

1、熟悉形式化方法、图论、编译原理、离散数学、DSL中至少一个领域的理论、架构、算法； 2、了解model checking、symbolic execution、SAT/SMT、自动机的建模流程以及相关的工具； 3、了解TCP/IP协议（如OSPF、BGP）基础知识者优先； 4、有过软件/系统验证、DSL设计、网络测试、网络验证、网络意图表示与综合等相关项目经验者优先； 5、了解数据中心、园区网络、BGP路由安全业务知识或运维经验者优先