地图     English
博士后招聘

出自计算机科学国家重点实验室

首页 > 招贤纳士 > 博士后招聘
跳转到: 导航, 搜索

  实验室诚聘以下岗位博士后,请应聘者直接与各位合作导师联系。

研究方向 合作导师 研究内容 基本要求 招聘人数
模型检测、并发理论 林惠民

lhm (at) ios.ac.cn

  • 模型检测的逻辑、算法与应用
  • 进程代数的理论与应用
  1. 在进程代数、模型检测方面有较好基础,愿意从事基础研究。
2
模型检测与软件形式验证 张文辉

zwh (at) ios.ac.cn

  • 限界模型检测技术与应用
  • 软件系统模型和时序逻辑的表达能力与验证方法
  1. 毕业于国内外知名大学
  2. 具有较强的团队合作精神和科学严谨作风
  3. 主持或参与过较大科研课题
  4. 具有较好的时序逻辑和模型检测方面的理论基础
  5. 熟练掌握C++编程方法
  6. 熟悉NuSMV、Spin、Uppaal等模型检测工具者优先
1
程序分析与软件测试 张健

zj (at) ios.ac.cn

  1. 毕业于国内外知名大学,具备计算机软件相关方向博士学位
  2. 具有较强的团队合作精神和科学严谨作风
  3. 主持或参与过国家级科研课题
  4. 熟悉程序分析或者软件测试方向的相关研究,有较强的动手能力
  5. 熟悉 C,C++,UML者优先
  6. 年龄35岁以下
1
数据挖掘,语义Web 沈一栋

ydshen (at) ios.ac.cn

  • 数据挖掘
  • 语义Web
  1. 研究能力强,英语写作好,已在国际知名会议或期刊发表论文
2
形式说明和验证技术 詹乃军

znj (at) ios.ac.cn

  • 程序验证
  • 实时和混成系统
  • 构件和对象系统的形式模型
  1. 获得国内外知名大学计算机科学或者应用数学博士学位或同等学位
  2. 具有较强的团队合作精神和科学严谨作风
  3. 具有形式化方法或者动力系统(控制论)方面的工作经验
  4. 能够流利利用英语进行学术交流和较高的英文写作技巧
2
计算理论 李昂生

angsheng (at) ios.ac.cn

  • Turing计算的结构理论
    • 研究可计算生成函数在Turing归约、有界Turing归约或多项式时间Turing归约下的结构、层谱理论,可定义性,判定性和初等等价问题。
  • 计算的代数途径研究
    • 计算、复杂性和归约的代数刻画
    • 局部可检测代数性质刻画
    • 编码、纠错码等及其在计算复杂性中的作用。
  1. 毕业于国内外知名大学,取得可计算性或计算复杂性方向的博士学位
  2. 在数学或计算机主要国际期刊或会议发表过论文,或具有相当水平的研究论文。
2
计算机图形学 吴恩华

lxh (at) ios.ac.cn

  • 基于物理的建模与绘制技术
  • 实时真实感绘制或基于GPU的通用计算
  1. 具有强的物理和数学背景,并参与过大科研课题的研究
  2. 具有较强的团队合作精神和科学严谨作风
  3. 有一定的力学背景或熟悉流体计算者优先
1
计算机图形绘制理论与方法 王文成

whn (at) ios.ac.cn

  • 面向虚拟现实的真实感绘制理论与方法
  • 面向大规模数据可视化的理论与方法
  • 面向数字几何的图形图象处理方法与技术
  1. 在国内外知名大学或研究单位获得博士学位。
  2. 具有较好的团队合作精神和严谨的科研作风。
  3. 至少在虚拟现实、可视化、数字几何、图象处理等方向之一从事过基础性的研究。
  4. 具有良好的数学基础,并具有较高的编程实验能力,编写过一万行以上的程序代码。
  5. 在国际重要刊物或会议,以及国内一级学报上,以第一作者(导师为第一作者时为第二作者)发表过2篇研究性论文。
1
Petri网,并发理论 焦莉

ljiao(at) ios.ac.cn

  • Petri网理论与应用
  • 并发理论
  1. 具有较强的团队合作精神和科学严谨作风,研究能力强,在数学或计算机主要国际期刊或会议发表过论文。
1

版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号