岗位职责：
1. 负责智能计算系统的验证环境的搭建与维护；
2. 负责验证工具开发，提升验证环境的易用性；
3. 负责智能计算的子系统级验证。
任职要求：
1. 计算机、软件工程、集成电路、微电子等信息学相关专业本科及以上学历；
2. 熟悉程序运行原理，例如编译链接过程；
3. 熟悉常见的镜像分析工具，例如obj*/elf*等；
4. 具有数字逻辑验证实习或工作经验；
5. 熟练掌握Python, bash, makefile等；
6. 有CPU、AI芯片验证经验优先；
7. 有强烈的自动化、便捷化意识。