Skip to main content

基础软件验证研究室人才招聘启事

· 3 min read

基础软件验证研究室为基础软件与系统重点实验室（中国科学院）2024年成立的核心研究单元，致力于用形式化验证技术来保障计算机软硬件基础设施的正确性与安全性。研究室成果发表在LICS、CAV、POPL、DAC、TACAS、CONCUR、IJCAR/CADE、Information and Computation等国际顶级会议与期刊上。研究室经费充足，研究室与国内外高校/研究所有着广泛的交流与合作。

由于研究室科研工作需要，现面向国内外诚聘高层次人才（副研究员/研究员），具体招聘研究方向如下：

  • 交互式定理证明
  • 操作系统验证
  • 硬件设计验证
  • 程序分析与验证
  • SAT/SMT求解
  • 模型检测
  • 抽象解释

岗位要求​

  1. 具有博士学位，在相关领域取得高水平研究成果；
  2. 具备独立科研能力，发表过高水平学术论文；
  3. 编程能力强，有形式化验证工具研发经验；
  4. 具备良好的团队合作精神及英文学术表达能力。

人才引进方式​

  • 百人计划B类
  • 海外优青
  • 软件所优青/杰青

薪资与待遇​

  1. 薪资：具有竞争力的年薪（面议）；
  2. 科研支持：提供科研启动经费，按软件所规定执行；
  3. 生活保障：住房待遇按软件所规定执行；符合条件者可协助解决北京户口、子女入学等事宜。

同时招收相关方向博士后研究人员。

申请方式​

咨询或者简历投递请联系：刘嘉祥副研究员（liujx###ios**ac.cn）或吴志林研究员（wuzl###ios**ac.cn）

  • ###改为@，**改为.