科大国创股份有限公司
岗位信息
招聘岗位
软件开发工程师 （形式验证方向）
工作城市
安徽省·合肥
学历要求
硕士
是否笔试
未明确
招聘批次
校招
截止日期
招满即止
发布日期
2026-08-27
📋 岗位职责 / 任职要求
岗位职责
参与公司的程序分析/验证工具产品的研发，包括设计、编码、调试、和文档撰写等工作。
任职要求
1.硕士及以上（计算机/电子工程/数学等相关专业），优秀本科生可放宽，2027届应届毕业生； 2.形式验证基础 熟悉形式验证理论（如模型检查、定理证明）； 熟练使用业界工具（如Cadence JasperGold、Synopsys VC Formal、Yosys等）； 能编写高质量的SVA（SystemVerilog Assertions）或PSL属性； 3.Verilog/数字电路 精通Verilog/VHDL，理解数字电路设计； 熟悉RTL设计缺陷（如死锁、数据完整性）的常见形式化验证模式； 4.工具开发能力 有形式验证工具开发经验者优先。
🏢 所属集团简介（科大国创）
本岗位招聘主体为 科大国创股份有限公司，科大国创 为其所属集团/母公司，以下为集团介绍。
总部合肥
科大国创源自中国科学技术大学，是国内领先的行业软件与大数据解决方案提供商，总部位于合肥，现为创业板上市企业。公司深耕行业信息化二十余年，主营业务涵盖行业应用软件研发、大数据治理与分析、人工智能算法应用及数字化运营服务，重点服务电信、电力、交通、金融等国民经济关键领域，为大型行业客户提供从基础平台到业务场景的端到端解决方案。近年来，公司持续加码信创生态、数据要素和行业大模型等前沿方向，形成“平台+应用+服务”的一体化技术布局。凭借深厚的技术积累与稳健的民企机制，科大国创为应届生提供参与国家级重点项目的实战平台、体系化培养通道以及合肥这座新一线城市的高性价比生活选择，是技术型人才开启职业成长的理想起点。
投递方式
投递入口需登录后查看，登录 / 注册 即可使用🏢 该企业正在招聘的其他岗位
校招宝当前收录 科大国创 在招校招岗位 21 条，工作地点覆盖 安徽省·合肥、合肥，学历要求含 本科起、博士、本科。以下为最近发布的部分岗位，可一并比较投递。
查看 科大国创 全部在招岗位与笔面经 ›
ℹ️ 信息来源
本条招聘信息由校招宝转载自 智联招聘（企业校招官网），版权归原发布方所有，校招宝仅作信息聚合与导航。
该来源未提供原文链接
招聘信息以官方原文为准，投递前请核实截止日期与要求。如涉侵权或信息有误，请邮件联系 kknee@qq.com，我们将在 24 小时内处理。