职责描述

负责芯片验证、优化相关工作

招聘条件

1. 计算机、软件工程等相关专业硕士或博士学历
2. 具有扎实的计算机科学理论和算法基础，代码能力强，具备良好的分析和解决问题的能力
3. 具有符号执行和软件验证等科研经历，或熟悉Linux内和工作原理及源码，具有一定的Linux内核编程经验
4. 熟悉C/C++编程语言
5. 了解形式化验证相关技术者优先