应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 科研生活区 » 招聘信息布告栏 » 计算机 » 中国科大—国创高可信软件工程中心招聘信息
51/1返回列表
查看: 858  |  回复: 4
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

bridge1227

新虫 (初入文坛)

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

具体工作地点:
苏州或合肥
薪金:
月薪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楼
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2014-09-23 14:54:30
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

LifePursuit
2楼2014-09-23 15:00:14
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ccssioc
3楼2014-09-23 15:37:05
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

doll_gaga

木虫 (职业作家)
不错挖
回复此楼
4楼2014-09-23 16:06:43
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

不敢说先森

新虫 (小有名气)
不错不错，帮顶一下

[ 发自小木虫客户端 ]
回复此楼
5楼2014-09-23 21:43:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 bridge1227 的主题更新
51/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 一志愿重庆大学085700资源与环境总分308求调剂 +6 墨墨漠 2026-03-20 6/300 2026-03-21 09:23 by 天青等烟雨
[考研] 265求调剂 +3 Jack?k?y 2026-03-17 3/150 2026-03-21 03:17 by JourneyLucky
[考研] 278求调剂 +6 烟火先于春 2026-03-17 6/300 2026-03-21 01:57 by JourneyLucky
[考研] 一志愿 西北大学 ，070300化学学硕，总分287，双非一本，求调剂。 +3 晨昏线与星海 2026-03-18 3/150 2026-03-21 00:46 by JourneyLucky
[考研] 311求调剂 +5 冬十三 2026-03-18 5/250 2026-03-21 00:16 by JourneyLucky
[考研] 材料专硕英一数二306 +7 z1z2z3879 2026-03-18 7/350 2026-03-20 23:48 by JourneyLucky
[考研] 330求调剂 +4 小材化本科 2026-03-18 4/200 2026-03-20 23:13 by JourneyLucky
[考研] 一志愿南京理工大学085701资源与环境302分求调剂 +4 葵梓卫队 2026-03-18 6/300 2026-03-20 23:02 by JourneyLucky
[考研] 药学383 求调剂 +3 药学chy 2026-03-15 5/250 2026-03-20 22:11 by 云游重阳
[考研] 265求调剂 +12 梁梁校校 2026-03-19 13/650 2026-03-20 21:01 by 无际的草原
[考研] 材料学求调剂 +4 Stella_Yao 2026-03-20 4/200 2026-03-20 20:28 by ms629
[考研] 086500 325 求调剂 +3 领带小熊 2026-03-19 3/150 2026-03-20 18:38 by 尽舜尧1
[考研] 288求调剂，一志愿华南理工大学071005 +5 ioodiiij 2026-03-17 5/250 2026-03-19 18:22 by zcl123
[考研] 复试调剂 +4 z1z2z3879 2026-03-14 6/300 2026-03-19 17:18 by fei626-918
[考研] 考研求调剂 +3 橘颂. 2026-03-17 4/200 2026-03-17 21:43 by 有只狸奴
[考研] 290求调剂 +3 p asserby. 2026-03-15 4/200 2026-03-17 16:35 by wangkm
[考研] 302求调剂 +4 小贾同学123 2026-03-15 8/400 2026-03-17 10:33 by 小贾同学123
[考研] 东南大学364求调剂 +5 JasonYuiui 2026-03-15 5/250 2026-03-16 21:28 by 木瓜膏
[考研] 070305求调剂 +3 mlpqaz03 2026-03-14 4/200 2026-03-15 11:04 by peike
[考研] 288求调剂 +4 奇点0314 2026-03-14 4/200 2026-03-14 23:04 by JourneyLucky
信息提示
关闭
请填处理意见
关闭