职位库
智能形式化方法助理研究员/工程师
3
招考人数
基本信息
招录人数
3
职业代码
报考单位
中国科学院软件研究所
部门代码
职位信息
序号
1
岗位名称
智能形式化方法助理研究员/工程师
用人单位名称
中国科学院软件研究所
招考数量
3
职位简介
1.开展人工智能（AI）与形式化方法（FM）相结合的科研工作，包括但不限于；2.生成式人工智能与定理证明和可信代码生成，基于安全强化学习的无人系统可信控制生成，神经网络与大模型的形式分析与验证，智能信息物理融合系统的设计与分析，程序分析与验证等。
报考条件
专业
计算机科学与技术、软件工程、人工智能、数学、控制、自动化等专业
学历
博士研究生