工作职责
1. 作为ASIC验证团队的一员，深入了解具体项目中的功能需求及应用场景，选择适合形式验证的测试需求。
2. 定义并实现形式验证所需的流程，解决具体项目实现中碰到的问题。
3. 关注形式验证技术的发展，帮助NVDIA团队应用形式验证来提高验证的质量和效率。

任职要求 
1. 电气/计算机工程及相关的本科或研究生毕业
2. 硕士3年以上或本科5年以上的工作经验。
3. 有丰富的形式验证项目经验，熟悉主流的的形式验证工具( 如IFV，VC_STATIC )
4. 良好的解决问题的能力和沟通技巧