形式化方法助理研究员
职位招考人数： 8
招考单位： - 中国科学院软件研究所
匹配度： 匹配详情>
职位信息
| 工作单位： |
中国科学院软件研究所 |
| 省份： |
北京 |
| 职位名称： |
形式化方法助理研究员 |
| 职位简介： |
开展形式化方法及其与人工智能等学科交叉的科研工作，主要分为以下两个方面：1.形式化方法理论、方法、技术与工具；2.面向特定领域的形式化方法与应用。同时积极申请和参与相关科研项目。具体研究方向包括但不限于(1)复杂系统建模、性质规约、控制合成、形式验证与在线监控；(2)自动和交互式定理证明；(3)程序语言与类型系统；(4)程序分析、验证与合成；(5)复杂约束求解与判定过程；(6)SMT与SAT求解；(7)模型驱动开发与仿真测试；(8)可信人工智能；(9)实时、嵌入式系统和智能信息物理融合系统；(10)复杂系统信息安全与隐私；(11)人工智能中的形式化方法；(12)卫星及星座建模与仿真、任务规划与星上智能；(13)AI4SCIENCE、AI4MATH、AI4FM等。 |
| 招录人数： |
8 |
报考条件
| 专业要求： |
数学、控制、计算机科学与技术、软件理论与工程、信息安全、网络安全、人工智能等相关专 |
| 学历要求： |
博士 |
| 其他条件： |
1.具备自我驱动能力、较好的时间管理能力和科研热情；2.具备形式化方法背景，对形式化方法具有兴趣，熟悉至少一个以上研究方向，具备扎实的理论基础或较强的工具开发能力；3.以第一作者或通讯作者在以上方向的国际权威会议或期刊发表过多篇学术论文，或拥有具有应用可能的专利；4.有责任心、具备独立科研能力，易于沟通、具备良好的团队合作精神。 |
免责声明：用人单位专业、学历、学位、资格条件、备注内容等报考条件情况复杂，
是否符合职位报考条件请登录招考单位官网进行核实或与招考单位电话联系确认，中
公教育职位匹配及相关信息仅供参考，因此造成的报考损失中公教育不承担任何责任。
