 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 1292 | 回復: 0 | |||||||||||||||
bridge1227新蟲 (初入文壇)
|
[交流]
中國科大—國創(chuàng)高可信軟件工程中心招聘信息
|
中國科大—國創(chuàng)高可信軟件工程中心招聘信息 一、 單位簡介 中國科大—國創(chuàng)高可信軟件工程中心由中國科學技術(shù)大學與科大國創(chuàng)軟件股份有限公司合作創(chuàng)辦，雙方共同將高可信軟件的相關(guān)技術(shù)應用于與國家安全和社會穩(wěn)定密切相關(guān)的關(guān)鍵基礎設施開發(fā)中，努力爭取建成高可信軟件國家工程中心，占領(lǐng)技術(shù)制高點，推動高可信軟件開發(fā)和評測體制的建立，推動高可信軟件系統(tǒng)的應用，提高關(guān)鍵領(lǐng)域的軟件可靠性和安全性，為國家、社會和人民生命財產(chǎn)的安全服務。 工程中心依托陳意云教授創(chuàng)辦并領(lǐng)銜指導的中國科學技術(shù)大學軟件安全實驗室。從2000年起至今，陳意云教授一直帶領(lǐng)中國科大軟件安全實驗室的師生在高可信軟件領(lǐng)域展開研究，積累了該領(lǐng)域大量的核心技術(shù)，在國內(nèi)外具有一定的影響力。 工程中心主任馮新宇教授，畢業(yè)于耶魯大學，是操作系統(tǒng)驗證和并發(fā)程序驗證領(lǐng)域國際一流的研究學者之一。其先后在相關(guān)領(lǐng)域內(nèi)的知名國際會議（POPL、PLDI、ESOP、ICFP和CONCUR等）和期刊上發(fā)表高水平論文二十余篇，相關(guān)成果受到國際同行的廣泛關(guān)注。 在高可信軟件研究領(lǐng)域，本工程中心“以形式程序驗證為主、以程序分析技術(shù)為輔”的基本思路，研究提高軟件可信程度的理論和技術(shù)等。目前正在開展的課題有系統(tǒng)軟件的形式驗證、并發(fā)多核軟件的開發(fā)與驗證、C程序靜態(tài)分析、出具證明的編譯器技術(shù)、自動定理證明系統(tǒng)等。 在此背景下，工程中心的建設分為三個階段。第一階段，通過在高可信軟件基礎理論研究和高可信軟件開發(fā)工具開發(fā)方面成果的積累，爭取經(jīng)過3年左右時間，將工程中心建成高可信軟件國家工程實驗室，或其他名稱的國家級實驗室。第二階段，壯大高可信軟件國家工程實驗室，并在條件成熟時由科大國創(chuàng)公司牽頭合作成立高可信軟件開發(fā)企業(yè)，開發(fā)產(chǎn)品級的高可信軟件開發(fā)工具和驗證工具并推向市場，為相關(guān)行業(yè)安全攸關(guān)軟件進行高可信驗證或評測，推動高可信軟件及其安全認證上升為國家戰(zhàn)略性新興產(chǎn)業(yè)。第三階段，把實驗室和企業(yè)提升到國際一流水平，把高可信軟件開發(fā)工具和驗證工具等軟件產(chǎn)品推向國際市場。 二、招聘信息 崗位名稱：軟件工程師（3名） 崗位職責： 作為項目研發(fā)人員，參與工程中心有產(chǎn)業(yè)化前景課題（目前涵蓋代碼分析和驗證、定理證明等方面）的孵化，包括調(diào)研、設計、編碼、調(diào)試、文檔撰寫等工作。 崗位要求： 具有學士、碩士學位，研究方向為程序分析和驗證、軟件工程、形式化方法、計算機理論等者優(yōu)先 有較為扎實的英語閱讀功底 工作細致、責任心強、為人正直 強烈的學習和創(chuàng)業(yè)意愿、良好的團隊協(xié)作能力 工作地點：合肥或者蘇州 三、 應聘流程 簡歷請按如下規(guī)則命名：應聘崗位—學校—專業(yè)—姓名。 1、有意者將簡歷投遞至郵箱：hcscenter@ustc.edu.cn 2、電話面試 3、面試 4、體檢 5、錄用 歡迎有志于將推動高可信軟件學術(shù)成果產(chǎn)業(yè)化的優(yōu)秀人士加入！我們將為各位提供有競爭力的薪資和良好的工作環(huán)境！ 四、聯(lián)系方式 聯(lián)系人：任老師 聯(lián)系電話：0551-63600467 電子郵箱： hcscenter@ustc.edu.cn 單位地址：安徽合肥黃山路中國科學技術(shù)大學西區(qū)科技實驗樓西樓6樓 |
回復此樓» 猜你喜歡
276求調(diào)劑。有半年電池和半年高分子實習經(jīng)歷
已經(jīng)有8人回復
-
接收2026碩士調(diào)劑(學碩+專碩)
已經(jīng)有3人回復
-
材料與化工考研調(diào)劑
已經(jīng)有3人回復
-
081700 調(diào)劑 267分
已經(jīng)有3人回復
-
一志愿重慶大學085700資源與環(huán)境，總分308求調(diào)劑
已經(jīng)有3人回復
-
336化工調(diào)劑
已經(jīng)有4人回復
-
08工學調(diào)劑
已經(jīng)有10人回復
-
263求調(diào)劑
已經(jīng)有6人回復
-
298求調(diào)劑
已經(jīng)有8人回復
-
考研化學308分求調(diào)劑
已經(jīng)有6人回復
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 bridge1227 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 276求調(diào)劑。有半年電池和半年高分子實習經(jīng)歷 +7 | 材料學257求調(diào)劑 2026-03-23 | 8/400 |
|
|---|---|---|---|---|
|
[考研] 323求調(diào)劑 +6 | 洼小桶 2026-03-18 | 6/300 |
|
|
|
[考研] 275求調(diào)劑 +6 | shansx 2026-03-22 | 8/400 |
|
|
|
[考研] 求調(diào)劑院校信息 +6 | CX 330 2026-03-21 | 6/300 |
|
|
|
[考研] 311求調(diào)劑 +3 | 26研0 2026-03-20 | 3/150 |
|
|
|
[考研] 材料工程專碩 348分求調(diào)劑 +3 | 冬辭. 2026-03-17 | 5/250 |
|
|
|
[考研] 297求調(diào)劑 +11 | 戲精丹丹丹 2026-03-17 | 12/600 |
|
|
|
[考研] 306求0703調(diào)劑一志愿華中師范 +5 | 紙魚ly 2026-03-21 | 5/250 |
|
|
|
[考研] 求調(diào)劑 +3 | .m.. 2026-03-21 | 4/200 |
|
|
|
[考研] 求調(diào)劑 +6 | Mqqqqqq 2026-03-19 | 6/300 |
|
|
|
[考研] 一志愿天津大學化學工藝專業(yè)（081702）315分求調(diào)劑 +12 | yangfz 2026-03-17 | 12/600 |
|
|
|
[考研] 初始318分求調(diào)劑（有工作經(jīng)驗） +3 | 1911236844 2026-03-17 | 3/150 |
|
|
|
[考研] 332求調(diào)劑 +4 | ydfyh 2026-03-17 | 4/200 |
|
|
|
[考研] 一志愿重慶大學085700資源與環(huán)境專碩，總分308求調(diào)劑 +3 | 墨墨漠 2026-03-18 | 3/150 |
|
|
|
[考研] 274求調(diào)劑 +10 | S.H1 2026-03-18 | 10/500 |
|
|
|
[考研] 一志愿武漢理工材料工程專碩調(diào)劑 +9 | Doleres 2026-03-19 | 9/450 |
|
|
|
[考研] 353求調(diào)劑 +3 | 拉鉤不許變 2026-03-20 | 3/150 |
|
|
|
[考研] 生物學調(diào)劑招人�。。� +3 | 山海天嵐 2026-03-17 | 4/200 |
|
|
|
[考研] 085601材料工程專碩求調(diào)劑 +10 | 慕寒mio 2026-03-16 | 10/500 |
|
|
|
[考研] 286求調(diào)劑 +6 | lemonzzn 2026-03-16 | 10/500 |
|