基础软件验证研究室实习生招聘启事（操作系统验证）
· 3 min read
因工作需要，中国科学院软件研究所基础软件与系统重点实验室（计算机科学国家重点实验室）基础软件验证研究室招聘操作系统验证实习生若干名，详情如下：
岗位名称： 操作系统验证实习生
岗位职责:
1、分析操作系统内核代码；
2、利用Coq对操作系统内核模块进行形式化建模与验证；
3、撰写技术报告、项目文档等。
任职要求：
1、专业不限，全日制本科在读及以上学历;
2、具备数理逻辑或离散数学基础知识；
3、掌握计算机操作系统、汇编语言相关背景知识，具有Linux或欧拉等相关操作系统开发经验者优先；
4、对形式化验证感兴趣，了解交互式证明工具（Coq、Lean或Agda等），具有形式化证明编写经验者优先；
5、熟悉至少一门现代编程语言，如Python、Rust、Golang、TypeScript；
6、有形式化方法背景者优先；
7、有良好的合作沟通能力，有较强的团队意识，执行力强。
应聘材料投递与咨询：
欢迎感兴趣的同学留言联系，可发送邮件提前咨询：wangyp###ios**ac**cn。
应聘者请将本人简历发送至：wangyp###ios**ac**cn，邮件名称为”姓名+操作系统验证实习生申请”。
- ###改为@，**改为.
待遇：
除基础工资外，实习生将根据个人表现和项目难度发放高额津贴，待遇从优。
备注：
支持线上实习，线下优先，解决住宿问题。
如果你对RISC-V处理器设计测试仿真、硬件形式化验证感兴趣，研究室也正在招收RISC-V处理器设计测试、仿真、验证实习生，欢迎关注：here。