职位库
特别研究助理（博士后）
3
招考人数
基本信息
招录人数
3
职业代码
报考单位
中国科学院软件研究所
部门代码
职位信息
序号
3
岗位
特别研究助理（博士后）
招聘人数
3
岗位职责
1.从事程序验证研究工作，包括约束求解、软件模型检测、抽象解释、符号执行等 2.开发相关验证工具 3.撰写高水平国际会议/期刊文章 4.协助指导研究生
报考条件
学历
博士
专业
计算机科学与技术、软件工程
应聘条件
1.在国际高水平会议/期刊发表论文 2.熟悉编译原理 3.熟悉模型检测、定理证明等形式化验证技术与工具