 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 1290 | 回復(fù): 0 | |||||||||||||||
bridge1227新蟲 (初入文壇)
|
[交流]
中國科大—國創(chuàng)高可信軟件工程中心招聘信息
|
中國科大—國創(chuàng)高可信軟件工程中心招聘信息 一、 單位簡介 中國科大—國創(chuàng)高可信軟件工程中心由中國科學(xué)技術(shù)大學(xué)與科大國創(chuàng)軟件股份有限公司合作創(chuàng)辦，雙方共同將高可信軟件的相關(guān)技術(shù)應(yīng)用于與國家安全和社會(huì)穩(wěn)定密切相關(guān)的關(guān)鍵基礎(chǔ)設(shè)施開發(fā)中，努力爭取建成高可信軟件國家工程中心，占領(lǐng)技術(shù)制高點(diǎn)，推動(dòng)高可信軟件開發(fā)和評(píng)測體制的建立，推動(dòng)高可信軟件系統(tǒng)的應(yīng)用，提高關(guān)鍵領(lǐng)域的軟件可靠性和安全性，為國家、社會(huì)和人民生命財(cái)產(chǎn)的安全服務(wù)。 工程中心依托陳意云教授創(chuàng)辦并領(lǐng)銜指導(dǎo)的中國科學(xué)技術(shù)大學(xué)軟件安全實(shí)驗(yàn)室。從2000年起至今，陳意云教授一直帶領(lǐng)中國科大軟件安全實(shí)驗(yàn)室的師生在高可信軟件領(lǐng)域展開研究，積累了該領(lǐng)域大量的核心技術(shù)，在國內(nèi)外具有一定的影響力。 工程中心主任馮新宇教授，畢業(yè)于耶魯大學(xué)，是操作系統(tǒng)驗(yàn)證和并發(fā)程序驗(yàn)證領(lǐng)域國際一流的研究學(xué)者之一。其先后在相關(guān)領(lǐng)域內(nèi)的知名國際會(huì)議（POPL、PLDI、ESOP、ICFP和CONCUR等）和期刊上發(fā)表高水平論文二十余篇，相關(guān)成果受到國際同行的廣泛關(guān)注。 在高可信軟件研究領(lǐng)域，本工程中心“以形式程序驗(yàn)證為主、以程序分析技術(shù)為輔”的基本思路，研究提高軟件可信程度的理論和技術(shù)等。目前正在開展的課題有系統(tǒng)軟件的形式驗(yàn)證、并發(fā)多核軟件的開發(fā)與驗(yàn)證、C程序靜態(tài)分析、出具證明的編譯器技術(shù)、自動(dòng)定理證明系統(tǒng)等。 在此背景下，工程中心的建設(shè)分為三個(gè)階段。第一階段，通過在高可信軟件基礎(chǔ)理論研究和高可信軟件開發(fā)工具開發(fā)方面成果的積累，爭取經(jīng)過3年左右時(shí)間，將工程中心建成高可信軟件國家工程實(shí)驗(yàn)室，或其他名稱的國家級(jí)實(shí)驗(yàn)室。第二階段，壯大高可信軟件國家工程實(shí)驗(yàn)室，并在條件成熟時(shí)由科大國創(chuàng)公司牽頭合作成立高可信軟件開發(fā)企業(yè)，開發(fā)產(chǎn)品級(jí)的高可信軟件開發(fā)工具和驗(yàn)證工具并推向市場，為相關(guān)行業(yè)安全攸關(guān)軟件進(jìn)行高可信驗(yàn)證或評(píng)測，推動(dòng)高可信軟件及其安全認(rèn)證上升為國家戰(zhàn)略性新興產(chǎn)業(yè)。第三階段，把實(shí)驗(yàn)室和企業(yè)提升到國際一流水平，把高可信軟件開發(fā)工具和驗(yàn)證工具等軟件產(chǎn)品推向國際市場。 二、招聘信息 崗位名稱：軟件工程師（3名） 崗位職責(zé)： 作為項(xiàng)目研發(fā)人員，參與工程中心有產(chǎn)業(yè)化前景課題（目前涵蓋代碼分析和驗(yàn)證、定理證明等方面）的孵化，包括調(diào)研、設(shè)計(jì)、編碼、調(diào)試、文檔撰寫等工作。 崗位要求： 具有學(xué)士、碩士學(xué)位，研究方向?yàn)槌绦蚍治龊万?yàn)證、軟件工程、形式化方法、計(jì)算機(jī)理論等者優(yōu)先 有較為扎實(shí)的英語閱讀功底 工作細(xì)致、責(zé)任心強(qiáng)、為人正直 強(qiáng)烈的學(xué)習(xí)和創(chuàng)業(yè)意愿、良好的團(tuán)隊(duì)協(xié)作能力 工作地點(diǎn)：合肥或者蘇州 三、 應(yīng)聘流程 簡歷請(qǐng)按如下規(guī)則命名：應(yīng)聘崗位—學(xué)校—專業(yè)—姓名。 1、有意者將簡歷投遞至郵箱：hcscenter@ustc.edu.cn 2、電話面試 3、面試 4、體檢 5、錄用 歡迎有志于將推動(dòng)高可信軟件學(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ū)科技實(shí)驗(yàn)樓西樓6樓 |
回復(fù)此樓» 猜你喜歡
323求調(diào)劑
已經(jīng)有6人回復(fù)
-
一志愿北京化工大學(xué) 070300 學(xué)碩 336分 求調(diào)劑
已經(jīng)有4人回復(fù)
-
352求調(diào)劑
已經(jīng)有3人回復(fù)
-
一志愿東華大學(xué)化學(xué)070300，求調(diào)劑
已經(jīng)有8人回復(fù)
-
277材料科學(xué)與工程080500求調(diào)劑
已經(jīng)有7人回復(fù)
-
317求調(diào)劑
已經(jīng)有18人回復(fù)
-
293求調(diào)劑
已經(jīng)有5人回復(fù)
-
280分求調(diào)劑 一志愿085802
已經(jīng)有7人回復(fù)
-
0854電子信息求調(diào)劑
已經(jīng)有3人回復(fù)
-
263求調(diào)劑
已經(jīng)有4人回復(fù)
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 bridge1227 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
