lhm (at) ios.ac.cn

• 模型检测的逻辑、算法与应用
• 进程代数的理论与应用

1. 在进程代数、模型检测方面有较好基础，愿意从事基础研究。

zwh (at) ios.ac.cn

• 限界模型检测技术与应用
• 软件系统模型和时序逻辑的表达能力与验证方法

1. 毕业于国内外知名大学
2. 具有较强的团队合作精神和科学严谨作风
3. 主持或参与过较大科研课题
4. 具有较好的时序逻辑和模型检测方面的理论基础
5. 熟练掌握C++编程方法
6. 熟悉NuSMV、Spin、Uppaal等模型检测工具者优先

zj (at) ios.ac.cn

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

ydshen (at) ios.ac.cn

• 数据挖掘
• 语义Web

1. 研究能力强，英语写作好，已在国际知名会议或期刊发表论文

znj (at) ios.ac.cn

• 程序验证
• 实时和混成系统
• 构件和对象系统的形式模型

1. 获得国内外知名大学计算机科学或者应用数学博士学位或同等学位
2. 具有较强的团队合作精神和科学严谨作风
3. 具有形式化方法或者动力系统（控制论）方面的工作经验
4. 能够流利利用英语进行学术交流和较高的英文写作技巧

angsheng (at) ios.ac.cn

• Turing计算的结构理论
  • 研究可计算生成函数在Turing归约、有界Turing归约或多项式时间Turing归约下的结构、层谱理论，可定义性，判定性和初等等价问题。
• 计算的代数途径研究
  • 计算、复杂性和归约的代数刻画
  • 局部可检测代数性质刻画
  • 编码、纠错码等及其在计算复杂性中的作用。

1. 毕业于国内外知名大学，取得可计算性或计算复杂性方向的博士学位
2. 在数学或计算机主要国际期刊或会议发表过论文，或具有相当水平的研究论文。

lxh (at) ios.ac.cn

• 基于物理的建模与绘制技术
• 实时真实感绘制或基于GPU的通用计算

1. 具有强的物理和数学背景，并参与过大科研课题的研究
2. 具有较强的团队合作精神和科学严谨作风
3. 有一定的力学背景或熟悉流体计算者优先

whn (at) ios.ac.cn

• 面向虚拟现实的真实感绘制理论与方法
• 面向大规模数据可视化的理论与方法
• 面向数字几何的图形图象处理方法与技术

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

ljiao(at) ios.ac.cn

• Petri网理论与应用
• 并发理论

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