1

中国科学院软件研究所

1

特别研究助理（博士后）

1

1. 实现代码验证算法、使用及开发测试仿真工具。 2. 在针对自动驾驶操作系统上进行验证、测试等相关算法的实验。

博士

计算机软件与理论，软件工程等

1、具有计算机科学或相关专业的博士学历。 2、代码能力强，有良好的沟通能力和英语阅读能力。  3、具有较强的适应性及压力承受能力，工作态度认真、积极，责任心强，勇于进取，对挑战性问题充满热情。  4、有形式化方法经验如熟悉模型检验、定理证明、符号执行、抽象解释等方法；熟悉形式化验证工具如CBMC、nuSMV者优先。