 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 870 | 回復(fù): 4 | |||||||
bridge1227新蟲 (初入文壇)
|
[交流]
中國科大—國創(chuàng)高可信軟件工程中心招聘信息
|
中國科大—國創(chuàng)高可信軟件工程中心招聘信息 一、 單位簡介 中國科大—國創(chuàng)高可信軟件工程中心由中國科學(xué)技術(shù)大學(xué)與科大國創(chuàng)軟件股份有限公司合作創(chuàng)辦，雙方共同將高可信軟件的相關(guān)技術(shù)應(yīng)用于與國家安全和社會穩(wěn)定密切相關(guān)的關(guān)鍵基礎(chǔ)設(shè)施開發(fā)中，努力爭取建成高可信軟件國家工程中心，占領(lǐng)技術(shù)制高點，推動高可信軟件開發(fā)和評測體制的建立，推動高可信軟件系統(tǒng)的應(yīng)用，提高關(guān)鍵領(lǐng)域的軟件可靠性和安全性，為國家、社會和人民生命財產(chǎn)的安全服務(wù)。 工程中心依托陳意云教授創(chuàng)辦并領(lǐng)銜指導(dǎo)的中國科學(xué)技術(shù)大學(xué)軟件安全實驗室。從2000年起至今，陳意云教授一直帶領(lǐng)中國科大軟件安全實驗室的師生在高可信軟件領(lǐng)域展開研究，積累了該領(lǐng)域大量的核心技術(shù)，在國內(nèi)外具有一定的影響力。 工程中心主任馮新宇教授，畢業(yè)于耶魯大學(xué)，是操作系統(tǒng)驗證和并發(fā)程序驗證領(lǐng)域國際一流的研究學(xué)者之一。其先后在相關(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)等。 在此背景下，工程中心的建設(shè)分為三個階段。第一階段，通過在高可信軟件基礎(chǔ)理論研究和高可信軟件開發(fā)工具開發(fā)方面成果的積累，爭取經(jīng)過3年左右時間，將工程中心建成高可信軟件國家工程實驗室，或其他名稱的國家級實驗室。第二階段，壯大高可信軟件國家工程實驗室，并在條件成熟時由科大國創(chuàng)公司牽頭合作成立高可信軟件開發(fā)企業(yè)，開發(fā)產(chǎn)品級的高可信軟件開發(fā)工具和驗證工具并推向市場，為相關(guān)行業(yè)安全攸關(guān)軟件進行高可信驗證或評測，推動高可信軟件及其安全認(rèn)證上升為國家戰(zhàn)略性新興產(chǎn)業(yè)。第三階段，把實驗室和企業(yè)提升到國際一流水平，把高可信軟件開發(fā)工具和驗證工具等軟件產(chǎn)品推向國際市場。 二、招聘信息 崗位名稱：軟件工程師（2~4名） 崗位職責(zé)： 作為項目研發(fā)人員，參與工程中心有產(chǎn)業(yè)化前景課題（目前涵蓋代碼分析和驗證、定理證明等方面）的孵化，包括調(diào)研、設(shè)計、編碼、調(diào)試、文檔撰寫等工作。 崗位要求： 具有碩士學(xué)位，研究方向為程序分析和驗證、軟件工程、形式化方法、計算機理論等者優(yōu)先 有較為扎實的英語閱讀功底 工作細致、責(zé)任心強、為人正直 強烈的學(xué)習(xí)和創(chuàng)業(yè)意愿、良好的團隊協(xié)作能力 工作地點：合肥或者蘇州 三、 應(yīng)聘流程 簡歷請按如下規(guī)則命名：應(yīng)聘崗位—學(xué)�！獙I(yè)—姓名。 1、有意者將簡歷投遞至郵箱：hcscenter@ustc.edu.cn 2、電話面試 3、面試 4、體檢 5、錄用 歡迎有志于將推動高可信軟件學(xué)術(shù)成果產(chǎn)業(yè)化的優(yōu)秀人士加入！我們將為各位提供有競爭力的薪資和良好的工作環(huán)境！ 四、聯(lián)系方式 聯(lián)系人：任老師 聯(lián)系電話：0551-63600467 電子郵箱： hcscenter@ustc.edu.cn 單位地址：安徽合肥黃山路中國科學(xué)技術(shù)大學(xué)西區(qū)科技實驗樓西樓6樓 |
回復(fù)此樓» 猜你喜歡
288求調(diào)劑 一志愿哈工大 材料與化工
已經(jīng)有31人回復(fù)
-
一志愿北京科技大學(xué)085601材料工程英一數(shù)二初試總分335求調(diào)劑
已經(jīng)有5人回復(fù)
-
085801 總分275 本科新能源 求調(diào)劑
已經(jīng)有17人回復(fù)
-
324求調(diào)劑
已經(jīng)有6人回復(fù)
-
學(xué)碩化學(xué)工程與技術(shù)，一志愿中國海洋大學(xué)320+求調(diào)劑
已經(jīng)有7人回復(fù)
-
材料調(diào)劑
已經(jīng)有5人回復(fù)
-
初試301，代碼085701環(huán)境工程，本碩一致，四六級已過，有二區(qū)一作，共發(fā)表5篇論文
已經(jīng)有6人回復(fù)
-
化學(xué)308分調(diào)劑
已經(jīng)有15人回復(fù)
-
346求調(diào)劑
已經(jīng)有3人回復(fù)
-
環(huán)境285分，過六級，求調(diào)劑
已經(jīng)有6人回復(fù)
» 本主題相關(guān)價值貼推薦，對您同樣有幫助:
- 中國科學(xué)技術(shù)大學(xué)國創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
- 中國科大—國創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
- 中國科大—國創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
 |
2樓2014-09-23 15:00:14
 |
3樓2014-09-23 15:37:05
doll_gaga
木蟲 (職業(yè)作家)
- 應(yīng)助: 123 (高中生)
- 金幣: 1036.5
- 散金: 2875
- 紅花: 262
- 帖子: 4242
- 在線: 329.3小時
- 蟲號: 1195244
- 注冊: 2011-01-24
- 性別: GG
- 專業(yè): 電化學(xué)分析
4樓2014-09-23 16:06:43
不敢說先森
新蟲 (小有名氣)
- 應(yīng)助: 1 (幼兒園)
- 金幣: 1430
- 散金: 100
- 帖子: 106
- 在線: 20.1小時
- 蟲號: 3346789
- 注冊: 2014-07-31
- 專業(yè): 信號理論與信號處理
5樓2014-09-23 21:43:10
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 bridge1227 的主題更新
| 5 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 302求調(diào)劑一志愿華中師范大學(xué) +3 | 小江小江江江 2026-04-02 | 3/150 |
|
|---|---|---|---|---|
|
|
[考研] 279求調(diào)劑 +3 | 傅文秋 2026-04-02 | 3/150 |
|
|
[考研] 考研調(diào)劑0702 +3 | 梅子味晚霞 2026-03-28 | 3/150 |
|
|
|
[考研] 377求調(diào)劑 +3 | RASKIN 2026-04-02 | 3/150 |
|
|
|
[考研] 301求調(diào)劑 +13 | A_JiXing 2026-04-01 | 13/650 |
|
|
|
[考研] 805600專碩材料與化工348分求調(diào)劑 +6 | 上學(xué)啦！ 2026-04-01 | 6/300 |
|
|
|
[考研] 318求調(diào)劑，計算材料方向 +7 | 吸喵有害笙命 2026-04-01 | 8/400 |
|
|
|
[考研] 食品學(xué)碩362求調(diào)劑 +3 | xuanxianxian 2026-04-01 | 3/150 |
|
|
|
[考研] 342求調(diào)劑 +12 | Mary Keen 2026-03-28 | 13/650 |
|
|
|
[考研] 求調(diào)劑 +4 | DADA怪 2026-03-31 | 4/200 |
|
|
|
[考研] 環(huán)境工程調(diào)劑 +9 | hyzzzzzzz. 2026-04-01 | 9/450 |
|
|
|
[考研] 一志愿華南師范361分，化學(xué)求調(diào)劑 +4 | Nicole88888 2026-04-01 | 4/200 |
|
|
|
[考研] 288資源與環(huán)境專碩求調(diào)劑，不限專業(yè)，有學(xué)上就行 +25 | lllllos 2026-03-30 | 26/1300 |
|
|
|
[考研] 材料工程專碩求調(diào)劑 +10 | hyl3153942 2026-03-29 | 10/500 |
|
|
|
[考研] 生物考研337分求調(diào)劑 +4 | cgxin 2026-03-30 | 6/300 |
|
|
|
[考研] 313求調(diào)劑 +6 | 賣個關(guān)子吧 2026-03-31 | 6/300 |
|
|
|
[考研]
 105500藥學(xué)求調(diào)劑，一志愿山東大學(xué)藥學(xué)，348分
+3
|
gr哈哈哈 2026-03-28 | 3/150 |
|
|
|
[考研] 環(huán)境科學(xué)與工程334分求調(diào)劑 +6 | 王一一依依 2026-03-30 | 8/400 |
|
|
|
[考研] 本科新能源科學(xué)與工程，一志愿華理能動285求調(diào)劑 +3 | AZMK 2026-03-27 | 5/250 |
|
|
|
[考研] 305求調(diào)劑 +5 | 哇盧卡庫 2026-03-26 | 5/250 |
|