2

中国科学院软件研究所

2

特别研究助理（博士后）

2

1. 从事程序验证研究工作，包括约束求解、软件模型检测、抽象解释、符号执行等 2. 开发相关验证工具 3. 撰写高水平国际会议/期刊文章 4. 协助指导研究生

博士

计算机科学与技术、软件工程

1. 在国际高水平会议/期刊发表论文 2. 熟悉编译原理 3. 熟悉模型检测、定理证明等形式化验证技术与工具