24小时热门版块排行榜    

查看: 3036  |  回复: 0

bridge1227

新虫 (初入文坛)

[交流] 安徽中科国创高可信软件有限公司招聘信息

具体工作地点:
合肥或苏州
薪金:
年薪15-25万
学历和研究方向:
计算机及相关专业
招聘岗位:
软件工程师
公司名称:
安徽中科国创高可信软件有限公司
联系方式:
0551-63600467

安徽中科国创高可信软件有限公司招聘信息
一、        单位简介
安徽中科国创高可信软件有限公司是由中国科学技术大学与科大国创软件股份有限公司合作创办的一家高技术软件公司。公司将致力于高可信软件相关技术的研发,推动高可信软件的开发、评测和在安全攸关领域的应用,提高关键领域软件的可靠性和安全性,为国家、社会和人民生命财产的安全服务。
公司的技术团队来自于中国科学技术大学软件安全研究室。在操作系统、关键算法的形式化验证、程序验证工具和程序静态分析等方面拥有诸多理论突破、和基于这些理论建立的程序验证与分析框架和工具。

行业背景
航空航天、核电、军工、高铁、医疗、金融、通信、人工智能等领域对高可信软件(High-Confidence Software)的需求日益增加。安全攸关领域的企业在软件产品的开发过程中期望提高软件的可靠性,减少潜在的软件漏洞可能带来的经济损失。然而,传统的测试方法弊端日益明显,原因是即便通过严格测试也无法保证软件不存在缺陷和错误。另一方面,这些安全攸关的行业软件希望通过相关行业软件的国际认证标准,从而提高其在市场上的竞争力和利润空间。形式化验证和程序分析可以全面或在某些方面提供比测试更强的保障,正逐渐成为构建高可信软件的关键技术。一些关键领域的行业软件认证标准也逐步采纳形式化验证作为有效的认证手段。
传统的测试仅可以展示软件中存在缺陷。高精度程序分析可以静态地对程序所有可能的执行路径进行扫描,可以更有效地发现测试未能覆盖的程序缺陷,比较经济有效的提高软件质量;而采用数学逻辑(演绎推理)严格证明过的软件则满足指定的规约,即软件不存在违法规约的缺陷。因此,高精度程序分析是提高软件质量的有效手段,而基于演绎推理的形式化证明是提高程序质量、达到最高保障的终极手段。

二、        招聘信息
岗位名称:软件工程师(10名)
岗位职责:
作为项目研发人员,参与公司的程序分析和验证产品的研发,包括设计、编码、调试、文档撰写等工作。
岗位要求:
        具有计算机及相关专业的本科、研究生以上学历
        Linux平台开发经验、熟练掌握C、C++、或Java。(熟悉LLVM编译框架者优先)
        工作细致、责任心强、具有良好的团队协作能力和自我学习的意愿
        有较为扎实的英语阅读功底
        熟悉程序分析和验证、形式化方法者优先
        工作地点:合肥或者苏州
三、        应聘流程
简历请按如下规则命名:应聘岗位—学校—专业—姓名。

1、有意者将简历投递至邮箱:hcscenter@ustc.edu.cn  
2、电话面试
3、面试
4、体检
5、录用

欢迎有志于将推动高可信软件学术成果产业化的优秀人士加入!我们将为各位提供有竞争力的薪资和良好的工作环境!
四、        联系方式
联系人:  任女士
联系电话:0551-63600467
电子邮箱: hcscenter@ustc.edu.cn
单位地址:合肥市中国科学技术大学西区(黄山路443号)科技实验楼西楼6楼

[ 来自版块群 安徽 ]
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 bridge1227 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 2026国自然放榜时间 +3 布布和一二 2026-08-08 3/150 2026-08-08 18:15 by Lightingo
[基金申请] 国基金的申报应该改成非等额制,评价高的钱多评价低的钱少,但是增加资助率 +7 a089 2026-08-07 7/350 2026-08-08 18:05 by gltch
[硕博家园] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 qTvzQBRAHjCi 2026-08-07 4/200 2026-08-08 17:19 by oEVWOejN9taj
[找工作] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 qTvzQBRAHjCi 2026-08-07 4/200 2026-08-08 17:07 by oEVWOejN9taj
[论文投稿] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 qTvzQBRAHjCi 2026-08-07 4/200 2026-08-08 16:47 by oEVWOejN9taj
[找工作] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 Vi50GxzrFcSG 2026-08-07 5/250 2026-08-08 16:27 by oEVWOejN9taj
[考博] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 Vi50GxzrFcSG 2026-08-07 4/200 2026-08-08 16:27 by oEVWOejN9taj
[博后之家] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 HEQlVqMTIA7d 2026-08-07 6/300 2026-08-08 14:42 by oEVWOejN9taj
[教师之家] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +4 HEQlVqMTIA7d 2026-08-07 5/250 2026-08-08 14:27 by oEVWOejN9taj
[基金申请] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 HEQlVqMTIA7d 2026-08-07 4/200 2026-08-08 14:27 by oEVWOejN9taj
[论文投稿] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +3 HEQlVqMTIA7d 2026-08-07 5/250 2026-08-08 14:22 by oEVWOejN9taj
[教师之家] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 KXLV3nuBVBY7 2026-08-07 5/250 2026-08-08 14:07 by oEVWOejN9taj
[论文投稿] 售SCI文章,我:8O.5.5.1O.54,科目全,可十急 +3 KXLV3nuBVBY7 2026-08-07 6/300 2026-08-08 14:01 by oEVWOejN9taj
[基金申请] 关于filecode +4 布布和一二 2026-08-07 7/350 2026-08-07 22:55 by zhanghaozhu
[基金申请] 听说今天filecode变了 +24 布布和一二 2026-08-06 47/2350 2026-08-07 16:02 by zhiyanjiang
[基金申请] filecode与中标关系的预测 +3 布布和一二 2026-08-07 3/150 2026-08-07 15:09 by gltch
[基金申请] 大家散了吧,后缀研究没有意义,别浪费时间了,过好目前的每一天,不要焦虑 +5 Tide man 2026-08-06 7/350 2026-08-07 13:11 by 医学老男孩
[基金申请] filecode +14 等待解的谜 2026-08-06 19/950 2026-08-07 12:20 by wlwhappy
[基金申请] 求各位大神看下 100+6 hpkpkpkp 2026-08-05 33/1650 2026-08-06 14:49 by zhiyanjiang
[基金申请] 面上提前没消息,有中的吗 +14 archvillain 2026-08-02 18/900 2026-08-04 14:42 by archvillain
信息提示
请填处理意见