NVIDIA
高级形式验证工程师40万 - 80万 上海 | 3年以上 | 硕士及以上 | 全职
职位福利:年终奖金,五险一金,技术领先,成长空间大
发布时间:2022-08-08 发布者:Heather 投递简历
描述:
工作职责
1. 作为ASIC验证团队的一员,深入了解具体项目中的功能需求及应用场景,选择适合形式验证的测试需求。
2. 定义并实现形式验证所需的流程,解决具体项目实现中碰到的问题。
3. 关注形式验证技术的发展,帮助NVDIA团队应用形式验证来提高验证的质量和效率。
任职要求
1. 电气/计算机工程及相关的本科或研究生毕业
2. 硕士3年以上或本科5年以上的工作经验。
3. 有丰富的形式验证项目经验,熟悉主流的的形式验证工具( 如IFV,VC_STATIC )
4. 良好的解决问题的能力和沟通技巧