高级形式验证工程师

40万-80万/年
上海
|
3年以上
|
硕士
|
全职

职位诱惑: 年终奖金,五险一金,技术领先,成长空间大

发布时间: 2022-11-11发布

职位描述

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

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