 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 864 | 回復: 4 | |||||||
bridge1227新蟲 (初入文壇)
|
[交流]
中國科大—國創(chuàng)高可信軟件工程中心招聘信息
|
中國科大—國創(chuàng)高可信軟件工程中心招聘信息 一、 單位簡介 中國科大—國創(chuàng)高可信軟件工程中心由中國科學技術大學與科大國創(chuàng)軟件股份有限公司合作創(chuàng)辦，雙方共同將高可信軟件的相關技術應用于與國家安全和社會穩(wěn)定密切相關的關鍵基礎設施開發(fā)中，努力爭取建成高可信軟件國家工程中心，占領技術制高點，推動高可信軟件開發(fā)和評測體制的建立，推動高可信軟件系統(tǒng)的應用，提高關鍵領域的軟件可靠性和安全性，為國家、社會和人民生命財產的安全服務。 工程中心依托陳意云教授創(chuàng)辦并領銜指導的中國科學技術大學軟件安全實驗室。從2000年起至今，陳意云教授一直帶領中國科大軟件安全實驗室的師生在高可信軟件領域展開研究，積累了該領域大量的核心技術，在國內外具有一定的影響力。 工程中心主任馮新宇教授，畢業(yè)于耶魯大學，是操作系統(tǒng)驗證和并發(fā)程序驗證領域國際一流的研究學者之一。其先后在相關領域內的知名國際會議（POPL、PLDI、ESOP、ICFP和CONCUR等）和期刊上發(fā)表高水平論文二十余篇，相關成果受到國際同行的廣泛關注。 在高可信軟件研究領域，本工程中心“以形式程序驗證為主、以程序分析技術為輔”的基本思路，研究提高軟件可信程度的理論和技術等。目前正在開展的課題有系統(tǒng)軟件的形式驗證、并發(fā)多核軟件的開發(fā)與驗證、C程序靜態(tài)分析、出具證明的編譯器技術、自動定理證明系統(tǒng)等。 在此背景下，工程中心的建設分為三個階段。第一階段，通過在高可信軟件基礎理論研究和高可信軟件開發(fā)工具開發(fā)方面成果的積累，爭取經過3年左右時間，將工程中心建成高可信軟件國家工程實驗室，或其他名稱的國家級實驗室。第二階段，壯大高可信軟件國家工程實驗室，并在條件成熟時由科大國創(chuàng)公司牽頭合作成立高可信軟件開發(fā)企業(yè)，開發(fā)產品級的高可信軟件開發(fā)工具和驗證工具并推向市場，為相關行業(yè)安全攸關軟件進行高可信驗證或評測，推動高可信軟件及其安全認證上升為國家戰(zhàn)略性新興產業(yè)。第三階段，把實驗室和企業(yè)提升到國際一流水平，把高可信軟件開發(fā)工具和驗證工具等軟件產品推向國際市場。 二、招聘信息 崗位名稱：軟件工程師（2~4名） 崗位職責： 作為項目研發(fā)人員，參與工程中心有產業(yè)化前景課題（目前涵蓋代碼分析和驗證、定理證明等方面）的孵化，包括調研、設計、編碼、調試、文檔撰寫等工作。 崗位要求： 具有碩士學位，研究方向為程序分析和驗證、軟件工程、形式化方法、計算機理論等者優(yōu)先 有較為扎實的英語閱讀功底 工作細致、責任心強、為人正直 強烈的學習和創(chuàng)業(yè)意愿、良好的團隊協(xié)作能力 工作地點：合肥或者蘇州 三、 應聘流程 簡歷請按如下規(guī)則命名：應聘崗位—學�！獙I(yè)—姓名。 1、有意者將簡歷投遞至郵箱：hcscenter@ustc.edu.cn 2、電話面試 3、面試 4、體檢 5、錄用 歡迎有志于將推動高可信軟件學術成果產業(yè)化的優(yōu)秀人士加入！我們將為各位提供有競爭力的薪資和良好的工作環(huán)境！ 四、聯(lián)系方式 聯(lián)系人：任老師 聯(lián)系電話：0551-63600467 電子郵箱： hcscenter@ustc.edu.cn 單位地址：安徽合肥黃山路中國科學技術大學西區(qū)科技實驗樓西樓6樓 |
回復此樓» 猜你喜歡
本人考085602 化學工程 專碩
已經有23人回復
-
求調劑院校信息
已經有4人回復
-
085600材料與化工306
已經有4人回復
-
286求調劑
已經有10人回復
-
328求調劑，英語六級551，有科研經歷
已經有9人回復
-
一志愿北京化工大學070300 學碩336求調劑
已經有4人回復
-
286分人工智能專業(yè)請求調劑愿意跨考！
已經有8人回復
-
資源與環(huán)境 調劑申請(333分)
已經有5人回復
-
280求調劑
已經有12人回復
-
269專碩求調劑
已經有5人回復
» 本主題相關價值貼推薦，對您同樣有幫助:
- 中國科學技術大學國創(chuàng)高可信軟件工程中心招聘信息
已經有0人回復
- 中國科大—國創(chuàng)高可信軟件工程中心招聘信息
已經有0人回復
- 中國科大—國創(chuàng)高可信軟件工程中心招聘信息
已經有0人回復
 |
2樓2014-09-23 15:00:14
 |
3樓2014-09-23 15:37:05
doll_gaga
木蟲 (職業(yè)作家)
- 應助: 123 (高中生)
- 金幣: 1036.5
- 散金: 2875
- 紅花: 262
- 帖子: 4242
- 在線: 329.3小時
- 蟲號: 1195244
- 注冊: 2011-01-24
- 性別: GG
- 專業(yè): 電化學分析
4樓2014-09-23 16:06:43
不敢說先森
新蟲 (小有名氣)
- 應助: 1 (幼兒園)
- 金幣: 1430
- 散金: 100
- 帖子: 106
- 在線: 20.1小時
- 蟲號: 3346789
- 注冊: 2014-07-31
- 專業(yè): 信號理論與信號處理
5樓2014-09-23 21:43:10
相關版塊跳轉
我要訂閱樓主 bridge1227 的主題更新
| 5 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 廣西大學材料導師推薦 +3 | 夏夏夏小正 2026-03-17 | 5/250 |
|
|---|---|---|---|---|
|
|
[考研] 考研調劑 +3 | 呼呼？~+123456 2026-03-21 | 3/150 |
|
|
[考研] 317求調劑 +9 | 申子申申 2026-03-19 | 15/750 |
|
|
|
[考研] 296求調劑 +4 | www_q 2026-03-20 | 4/200 |
|
|
|
[考研] 298求調劑 +4 | 上岸6666@ 2026-03-20 | 4/200 |
|
|
|
[考研] 307求調劑 +3 | wyyyqx 2026-03-17 | 3/150 |
|
|
|
[考研] 301求調劑 +10 | yy要上岸呀 2026-03-17 | 10/500 |
|
|
|
[考研] 299求調劑 +6 | △小透明* 2026-03-17 | 6/300 |
|
|
|
[考研] 296求調劑 +6 | www_q 2026-03-18 | 10/500 |
|
|
|
[考研] 321求調劑 +9 | 何潤采123 2026-03-18 | 11/550 |
|
|
|
[考研] 304求調劑 +7 | 司空. 2026-03-18 | 7/350 |
|
|
|
[考研] 求調劑，一志愿:南京航空航天大學大學 ，080500材料科學與工程學碩，總分289分 +4 | @taotao 2026-03-19 | 4/200 |
|
|
|
[考研] 086500 325 求調劑 +3 | 領帶小熊 2026-03-19 | 3/150 |
|
|
|
[考研] 298-一志愿中國農業(yè)大學-求調劑 +9 | 手機用戶 2026-03-17 | 9/450 |
|
|
|
[考研] 求調劑 +3 | 暗涌afhb 2026-03-16 | 3/150 |
|
|
|
[論文投稿]
申請回稿延期一個月，編輯同意了。但系統(tǒng)上的時間沒變，給編輯又寫郵件了，沒回復
 10+3
|
wangf9518 2026-03-17 | 4/200 |
|
|
|
[考研] 0703化學調劑 +4 | 18889395102 2026-03-18 | 4/200 |
|
|
|
[考研] 277調劑 +5 | 自由煎餅果子 2026-03-16 | 6/300 |
|
|
|
[考研] 275求調劑 +4 | 太陽花天天開心 2026-03-16 | 4/200 |
|
|
|
[考研] 070303 總分349求調劑 +3 | LJY9966 2026-03-15 | 5/250 |
|