职位库
自动推理特别研究助理（博士后）
1
招考人数
基本信息
招录人数
1
职业代码
报考单位
中国科学院软件研究所
部门代码
职位信息
序号
7
岗位
自动推理特别研究助理（博士后）
招聘人数
1
岗位职责
1.逻辑公式可满足性问题的判定算法 2.运筹优化算法与求解器研发
报考条件
学历
博士
专业
计算机、软件工程、人工智能、电子信息、数学
应聘条件
1.计算机科学、软件工程、人工智能、电子信息或数学等相关专业博士毕业，独立研究能力强，在国际重要期刊或会议上发表过学术论文。 2.数理逻辑或运筹学基础好，编程能力强。