24小时热门版块排行榜

返回列表

bridge1227

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 6.9
红花: 1
帖子: 29
在线: 22.4小时
虫号: 1820868
注册: 2012-05-16
性别: GG
专业: 无机非金属类高温超导与磁

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

具体工作地点:

合肥或苏州

薪金:

年薪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楼

[ 来自版块群安徽 ]

回复此楼

» 猜你喜欢

1楼2017-09-05 17:43:28

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

相关版块跳转我要订阅楼主 bridge1227 的主题更新

返回列表