招贤纳士

博士后

序号 博士后流动站(计科、软工) 合作导师 研究方向或主要研究内容 招收人数 联系人及其

邮件地址

1 计科 詹乃军 信息物理融合系统形式设计或者程序验证 1-3 王淑灵

wangsl@ios.ac.cn

2 软工 蔡彦 软件测试、软件安全、AI软件测试 1-2 蔡彦 yancai@ios.ac.cn
3 计科 夏盟佶 计数复杂性二分定理 1 夏盟佶

mingji@ios.ac.cn

4 计科 吴志林 程序分析与验证 1 吴志林

wuzl@ios.ac.cn

5 计科 张立军 软件验证与分析、神经网络安全验证 2 张立军

zhanglj@ios.ac.cn

        请应聘者直接与相关研究方向的合作导师或联系人联系。

        详细信息请访问:http://www.is.cas.cn/yjsjy2016/bshldz2016/