博士后
| 序号 | 博士后流动站（计科、软工） | 合作导师 | 研究方向或主要研究内容 | 招收人数 | 联系人及其
邮件地址 |
| 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 |
请应聘者直接与相关研究方向的合作导师或联系人联系。