FPGA形式化验证工程师(J10619)当面告知
中国航天科技集团有限公司
2026-12-25 22:35:34
校招27届硕士
岗位详情
地区：
西安市
专业要求：
微电子科学与工程计算机科学与技术
岗位职责：
1.负责基于形式化验证方法的FPGA测试与评测体系建设。
2.主导形式化验证工具的部署、二次开发及自动化流程搭建。
3.开展FPGA关键模块的断言验证、等价性检查、模型检测，输出测试报告。
4.负责复杂场景下FPGA逻辑缺陷与安全漏洞分析的挖掘分析。
招聘要求：
1.微电子、计算机等相关专业，硕士研究生学历。
2.精通形式化验证理论及主流工具。
3.熟练掌握SVA/PSL断言语言，具备复杂约束与属性建模能力。
4.熟悉脚本语言，具备验证环境二次开发与自动化搭建能力。
5.具备FPGA或ASIC设计的完整形式化验证实施经验。
6.具备形式化验证工具自主研发或核心模块开发能力。
公司介绍
中国航天科技集团有限公司
中国航天科技集团有限公司，成立于1999-06-29，位于北京，法定代表人：陈鸣波，登记状态：存续，注册资本2000000万人民币，公司类型：国有企业
中国航天科技集团有限公司成立于1999-06-29，法定代表人为陈鸣波，注册资本为2000000万元人民币，统一社会信用代码为91110000100014071Q，企业地址位于北京市海淀区阜成路八号，所属行业为科技推广和应用服务业，经营范围包含：战略导弹武器系统、战术导弹武器系统、火箭武器系统、精确制导武器系统，各类空间飞行器、航天运输系统、临近空间飞行器系统、地效飞行器系统、无人装备系统，以及相关配套产品的研制、试验、生产销售及服务；军品贸易、各类商业卫星及宇航产品出口、商业卫星发射（含搭载）及卫星运营服务；卫星通信广播电视传输服务；国务院授权范围内的国有资产投资、经营管理；航天工程和技术的研究、试验、技术咨询与推广应用服务；各类卫星应用系统及相关产品的研发、销售与服务；地理信息测绘技术及产品研发、销售与服务；电器机械、仪器仪表、计算机、通信和其他电子信息设备的研发、销售与服务；化学原料、化学制品（不含危险化学品）和特种材料研发及应用；通用设备、专用设备及装备研发；销售汽车及零部件；进出口贸易及投资服务；组织文化艺术交流服务。（企业依法自主选择经营项目，开展经营活动；依法须经批准的项目，经相关部门批准后依批准的内容开展经营活动；不得从事本市产业政策禁止和限制类项目的经营活动。）。中国航天科技集团有限公司目前的经营状态为存续（在营、开业、在册）。