中国科大—国创高可信软件工程中心招聘软件工程师

阅读次数:741 发表时间:2015.05.19

一、  单位简介

中国科大—国创高可信软件工程中心由中国科学技术大学与科大国创软件股份有限公司合作创办,双方共同将高可信软件的相关技术应用于与国家安全和社会稳定密切相关的关键基础设施开发中,努力争取建成高可信软件国家工程中心,占领技术制高点,推动高可信软件开发和评测体制的建立,推动高可信软件系统的应用,提高关键领域的软件可靠性和安全性,为国家、社会和人民生命财产的安全服务。

工程中心依托陈意云教授创办并领衔指导的中国科学技术大学软件安全实验室。从2000年起至今,陈意云教授一直带领中国科大软件安全实验室的师生在高可信软件领域展开研究,积累了该领域大量的核心技术,在国内外具有一定的影响力。

工程中心主任冯新宇教授,毕业于耶鲁大学,是操作系统验证和并发程序验证领域国际一流的研究学者之一。其先后在相关领域内的知名国际会议(POPL、PLDI、ESOP、ICFP和CONCUR等)和期刊上发表高水平论文二十余篇,相关成果受到国际同行的广泛关注。

在高可信软件研究领域,本工程中心“以形式程序验证为主、以程序分析技术为辅”的基本思路,研究提高软件可信程度的理论和技术等。目前正在开展的课题有系统软件的形式验证、并发多核软件的开发与验证、C程序静态分析、出具证明的编译器技术、自动定理证明系统等。

在此背景下,工程中心的建设分为三个阶段。第一阶段,通过在高可信软件基础理论研究和高可信软件开发工具开发方面成果的积累,争取经过3年左右时间,将工程中心建成高可信软件国家工程实验室,或其他名称的国家级实验室。第二阶段,壮大高可信软件国家工程实验室,并在条件成熟时由科大国创公司牵头合作成立高可信软件开发企业,开发产品级的高可信软件开发工具和验证工具并推向市场,为相关行业安全攸关软件进行高可信验证或评测,推动高可信软件及其安全认证上升为国家战略性新兴产业。第三阶段,把实验室和企业提升到国际一流水平,把高可信软件开发工具和验证工具等软件产品推向国际市场。