岗位职责：
• 负责云网络智能运维领域的故障预测、故障诊断、异常识别、意图分析、知识图谱构建等技术研究及场景落地
• 负责网络建模、网络形式化验证相关技术研究及场景落地
• 参与相关学术界/行业组织活动提升领域影响力
任职要求：
建模/验证类：
• 熟悉学术界在网络控制面或数据面验证领域的相关论文和工具的技术原理和实践，如：Batfish、Minesweeper、HSA/BDD 等；
• 有网络控制面建模、数据面建模相关经验优先，熟悉形式化方法、BDD二元决策图、SAT/SMT求解、一阶逻辑/谓词逻辑等相关领域
• 有虚拟化网络业务背景的优先，包括但不限于Neutron、SDN、OvS、VxLAN、容器网络、网络协议、网络组网等
• 编程基础扎实，能使用 C/C++/Python/Go 等至少一门编程语言。
智能运维类：
• 掌握Python/JAVA/C等至少一种编程语言
• 有数据挖掘经验或者熟悉回归、决策树、SVM、朴素贝叶斯、神经网络、ARIMA、LSTM、异常检测、日志文本挖掘、知识图谱等技术，有相关技术的应用、调优经验
• 具备较强的AI技术能力（机器学习/网络建模/知识定义网络/知识推理/数字孪生等），在AI应用于网络运维领域有设计和研发经验者优先；
• 具备业界Top公有云厂商网络AIOps领域经验者优先
• 有虚拟化网络业务背景的优先，包括但不限于Neutron、SDN、OvS、VxLAN、容器网络、网络协议、网络组网等