8

中国科学院软件研究所

1

形式化方法助理研究员

8

开展形式化方法及其与人工智能等学科交叉的科研工作，主要分为以下两个方面：1. 形式化方法理论、方法、技术与工具；2. 面向特定领域的形式化方法与应用。同时积极申请和参与相关科研项目。具体研究方向包括但不限于 (1)复杂系统建模、性质规约、控制合成、形式验证与在线监控； (2)自动和交互式定理证明； (3)程序语言与类型系统； (4)程序分析、验证与合成； (5)复杂约束求解与判定过程； (6)SMT与SAT求解； (7)模型驱动开发与仿真测试； (8)可信人工智能； (9)实时、嵌入式系统和智能信息物理融合系统； (10)复杂系统信息安全与隐私； (11)人工智能中的形式化方法； (12)卫星及星座建模与仿真、任务规划与星上智能； (13)AI4SCIENCE、AI4MATH、AI4FM等。

博士

数学、控制、计算机科学与技术、软件理论与工程、信息安全、网络安全、人工智能等相关专

1. 具备自我驱动能力、较好的时间管理能力和科研热情； 2. 具备形式化方法背景，对形式化方法具有兴趣，熟悉至少一个以上研究方向，具备扎实的理论基础或较强的工具开发能力；3. 以第一作者或通讯作者在以上方向的国际权威会议或期刊发表过多篇学术论文，或拥有具有应用可能的专利；4. 有责任心、具备独立科研能力，易于沟通、具备良好的团队合作精神。