24小时热门版块排行榜

返回列表

bridge1227

新虫 (初入文坛)

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

[交流] 中国科大—国创高可信软件工程中心招聘信息

具体工作地点:

苏州或合肥

薪金:

月薪1万

中国科大—国创高可信软件工程中心招聘信息
一、单位简介
中国科大—国创高可信软件工程中心由中国科学技术大学与科大国创软件股份有限公司合作创办，双方共同将高可信软件的相关技术应用于与国家安全和社会稳定密切相关的关键基础设施开发中，努力争取建成高可信软件国家工程中心，占领技术制高点，推动高可信软件开发和评测体制的建立，推动高可信软件系统的应用，提高关键领域的软件可靠性和安全性，为国家、社会和人民生命财产的安全服务。
工程中心依托陈意云教授创办并领衔指导的中国科学技术大学软件安全实验室。从2000年起至今，陈意云教授一直带领中国科大软件安全实验室的师生在高可信软件领域展开研究，积累了该领域大量的核心技术，在国内外具有一定的影响力。
工程中心主任冯新宇教授，毕业于耶鲁大学，是操作系统验证和并发程序验证领域国际一流的研究学者之一。其先后在相关领域内的知名国际会议（POPL、PLDI、ESOP、ICFP和CONCUR等）和期刊上发表高水平论文二十余篇，相关成果受到国际同行的广泛关注。
在高可信软件研究领域，本工程中心“以形式程序验证为主、以程序分析技术为辅”的基本思路，研究提高软件可信程度的理论和技术等。目前正在开展的课题有系统软件的形式验证、并发多核软件的开发与验证、C程序静态分析、出具证明的编译器技术、自动定理证明系统等。
在此背景下，工程中心的建设分为三个阶段。第一阶段，通过在高可信软件基础理论研究和高可信软件开发工具开发方面成果的积累，争取经过3年左右时间，将工程中心建成高可信软件国家工程实验室，或其他名称的国家级实验室。第二阶段，壮大高可信软件国家工程实验室，并在条件成熟时由科大国创公司牵头合作成立高可信软件开发企业，开发产品级的高可信软件开发工具和验证工具并推向市场，为相关行业安全攸关软件进行高可信验证或评测，推动高可信软件及其安全认证上升为国家战略性新兴产业。第三阶段，把实验室和企业提升到国际一流水平，把高可信软件开发工具和验证工具等软件产品推向国际市场。

二、招聘信息
岗位名称：软件工程师（2~4名）
岗位职责：
作为项目研发人员，参与工程中心有产业化前景课题（目前涵盖代码分析和验证、定理证明等方面）的孵化，包括调研、设计、编码、调试、文档撰写等工作。

岗位要求：
 具有硕士学位，研究方向为程序分析和验证、软件工程、形式化方法、计算机理论等者优先
 有较为扎实的英语阅读功底
 工作细致、责任心强、为人正直
 强烈的学习和创业意愿、良好的团队协作能力
 工作地点：合肥或者苏州
三、应聘流程
简历请按如下规则命名：应聘岗位—学校—专业—姓名。

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

欢迎有志于将推动高可信软件学术成果产业化的优秀人士加入！我们将为各位提供有竞争力的薪资和良好的工作环境！

四、联系方式
联系人：任老师
联系电话：0551-63600467
电子邮箱： hcscenter@ustc.edu.cn
单位地址：安徽合肥黄山路中国科学技术大学西区科技实验楼西楼6楼

回复此楼