G02工业高可信智能控制系统

岗位职责：1.  面向智能制造，具身智能装备等方向高自主高可靠控制要求，开展高可信智能控制基础理论与关键技术研究，融合传统控制理论、形式化方法与生成式  AI，建立复杂不确定场景下智能控制系统的可靠性、安全性理论框架。2.  研究多模态工艺、运维、安全规范文档的深度理解与知识抽取技术，实现非结构化工程信息向形式化控制需求、安全约束、工艺规约的自动转换，构建工业控制知识图谱与约束知识库，为智能控制系统提供可信输入底座。3.  研究  AI  增强的智能控制综合技术，涵盖控制逻辑自动综合、IEC  61131‑3  兼容控制代码生成、智能运动  /  任务规划、控制策略在线自适应重构；既包含  PLC  控制程序生成，也包含机器人、异构装备智能控制策略的推导与生成。4.  研发工业智能控制系统的在线感知、异常研判与安全防护技术，基于大模型与时序智能分析方法，实现工况扰动、逻辑异常、设备故障、时序冲突的识别、溯源，形成故障条件下的控制策略应急调整与安全处置机制。5.  研究  AI  赋能的控制程序缺陷检测、逻辑冲突消解与自适应修复技术，覆盖控制程序、规划策略、调度逻辑多对象，完成与  TIA  Portal、CODESYS、机器人开发平台的集成，实现从离线检测到在线自愈的能力。6.  研究基于世界模型的工业场景高保真、动力学一致的可交互仿真环境构建方法，研究  Sim2Real  中的域随机化、域适应、传感器建模与物理参数辨识方法，构建工业场景  RSR（Real2Sim2Real）数据闭环范式，为可信验证提供测试底座。7.  研究面向工业具身场景的安全约束建模与形式化，研究在安全约束下的强化学习控制规划与策略生成方法，构建  controller  +  safety  filter  双层架构，形成"学习—约束—可证明"一体化的安全策略生成方法。。8.  构建面向智能控制系统的多层级可信验证评估体系，融合形式化验证、符号执行、高保真数字孪生仿真、半实物闭环测试，针对  AI‑控制系统耦合系统开展功能安全、实时性、鲁棒性评估，满足  IEC  61508  等工业功能安全标准。9.  研制  “需求规约‑智能控制综合‑异常防护‑可信验证‑自治迭代”  一体化高可信控制系统工具链，推进生成式  AI、具身智能与传统控制、安全验证技术深度融合，实现控制系统的持续自诊断、自优化与自维护。10.  跟踪可信人工智能、安全控制、工业具身智能等前沿方向，开展技术创新与工程落地，输出高水平学术论文、核心专利、技术研究报告，支撑超级自动化工厂智能化安全升级。任职要求：1.  计算机科学、人工智能、控制科学与工程、软件工程等相关专业博士学历；具有可信  AI、强化学习、智能控制综合、程序合成、形式化验证、机器人智能决策、工业功能安全等方向研究经历者优先。2.  具备大模型领域适配、对齐优化或智能控制相关研究经验，熟悉工业控制系统基本架构，了解  IEC  61131‑3、IEC  61508  等工控及功能安全标准，有  PLC、机器人控制相关项目经历者优先。3.  具备工业具身场景三维重建、数字孪生、安全约束下的强化学习等相关经验，熟悉  Sim2Real  关键技术及  AI  控制系统功能安全评估者优先。4.  了解机器人任务  /  运动规划、工业控制逻辑设计；熟悉  CODESYS、TIA  Portal、Simulink、ROS/ROS2  任意平台工具，能够开展控制算法与控制软件原型开发。5.  熟练使用  Python、C++  编程语言；具备形式化验证、符号执行、程序分析、故障诊断、智能调度任一方向科研或工程经验者优先。6.  熟练掌握  PyTorch/TensorFlow  等深度学习框架、LangChain/LangGraph  等大模型应用框架；具备数据集构建、模型训练、约束优化、系统评估的完整研发能力。7.  能够针对  AI  与控制系统耦合带来的不确定性开展机理分析、方案设计与实验验证，具备复杂系统问题建模与攻关能力。8.  具备良好的学术论文、专利、技术报告撰写能力，能够完整完成方案论证、实验设计与结果复盘；有工业智能系统相关成果者优先。9.  具备较强逻辑思辨、团队协作沟通能力，对工业高可信智能控制方向有浓厚兴趣，可承担多任务并行与关键技术攻关节奏。