4 posts tagged with "Recruitment"

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

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

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

因工作需要，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）基础软件验证研究室招聘硬件验证实习生若干名，详情如下：

岗位名称： RISC-V处理器设计测试、仿真、验证实习生

因工作需要，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）基础软件验证研究室招聘操作系统验证实习生若干名，详情如下：

岗位名称： 操作系统验证实习生

[UPDATE]: The secretary position has been filled. Two positions for engineers are still open. Feel free to apply!

We are currently hiring a secretary and two engineers.