 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 504 | 回復(fù): 0 | |||||||||||
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ù)制高點(diǎn)，推動高可信軟件開發(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)軟件進(jìn)行高可信驗證或評測，推動高可信軟件及其安全認(rèn)證上升為國家戰(zhàn)略性新興產(chǎn)業(yè)。第三階段，把實驗室和企業(yè)提升到國際一流水平，把高可信軟件開發(fā)工具和驗證工具等軟件產(chǎn)品推向國際市場。 二、招聘信息 崗位名稱：軟件工程師（3名） 崗位職責(zé)： 作為項目研發(fā)人員，參與工程中心有產(chǎn)業(yè)化前景課題（目前涵蓋代碼分析和驗證、定理證明等方面）的孵化，包括調(diào)研、設(shè)計、編碼、調(diào)試、文檔撰寫等工作。 崗位要求： 具有碩士學(xué)位，研究方向為程序分析和驗證、軟件工程、形式化方法、計算機(jī)理論等者優(yōu)先 有較為扎實的英語閱讀功底 工作細(xì)致、責(zé)任心強(qiáng)、為人正直 強(qiáng)烈的學(xué)習(xí)和創(chuàng)業(yè)意愿、良好的團(tuán)隊協(xié)作能力 工作地點(diǎn)：合肥或者蘇州 三、 應(yīng)聘流程 簡歷請按如下規(guī)則命名：應(yīng)聘崗位—學(xué)校—專業(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ù)此樓» 猜你喜歡
本人考085602 化學(xué)工程 專碩
已經(jīng)有23人回復(fù)
-
求調(diào)劑院校信息
已經(jīng)有4人回復(fù)
-
085600材料與化工306
已經(jīng)有4人回復(fù)
-
286求調(diào)劑
已經(jīng)有10人回復(fù)
-
328求調(diào)劑，英語六級551，有科研經(jīng)歷
已經(jīng)有9人回復(fù)
-
一志愿北京化工大學(xué)070300 學(xué)碩336求調(diào)劑
已經(jīng)有4人回復(fù)
-
286分人工智能專業(yè)請求調(diào)劑愿意跨考！
已經(jīng)有8人回復(fù)
-
資源與環(huán)境 調(diào)劑申請(333分)
已經(jīng)有5人回復(fù)
-
280求調(diào)劑
已經(jīng)有12人回復(fù)
-
269專碩求調(diào)劑
已經(jīng)有5人回復(fù)
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 bridge1227 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 材料學(xué)碩301分求調(diào)劑 +7 | Liyouyumairs 2026-03-21 | 7/350 |
|
|---|---|---|---|---|
|
[考研] 初試 317 +7 | 半拉月丙 2026-03-20 | 7/350 |
|
|
|
[考研] 354求調(diào)劑 +6 | Tyoumou 2026-03-18 | 9/450 |
|
|
|
[基金申請] 山東省面上項目限額評審 +3 | 石瑞0426 2026-03-19 | 3/150 |
|
|
|
[考研] 生物學(xué)調(diào)劑 +3 | Surekei 2026-03-21 | 3/150 |
|
|
|
[考研] 材料 271求調(diào)劑 +5 | 展信悅_ 2026-03-21 | 5/250 |
|
|
|
[考研] 306求0703調(diào)劑一志愿華中師范 +5 | 紙魚ly 2026-03-21 | 5/250 |
|
|
|
[考研] 一志愿重慶大學(xué)085700資源與環(huán)境總分308求調(diào)劑 +7 | 墨墨漠 2026-03-20 | 7/350 |
|
|
|
[考研] 求調(diào)劑 +3 | .m.. 2026-03-21 | 4/200 |
|
|
|
[考研] 330求調(diào)劑0854 +3 | assdll 2026-03-21 | 3/150 |
|
|
|
[考研] 一志愿華南師大 070300（化學(xué)）304分求調(diào)劑 +3 | 0703武芊慧雪304 2026-03-18 | 3/150 |
|
|
|
[考研] 材料專業(yè)求調(diào)劑 +6 | hanamiko 2026-03-18 | 6/300 |
|
|
|
[考研] 324求調(diào)劑 +5 | lucky呀呀呀鴨 2026-03-20 | 5/250 |
|
|
|
[考研]
 295復(fù)試調(diào)劑
+8
|
簡木ChuFront 2026-03-19 | 8/400 |
|
|
|
[考研] 求調(diào)劑 +3 | @taotao 2026-03-20 | 3/150 |
|
|
|
[考研] 086500 325 求調(diào)劑 +3 | 領(lǐng)帶小熊 2026-03-19 | 3/150 |
|
|
|
[考研] 材料與化工求調(diào)劑 +7 | 為學(xué)666 2026-03-16 | 7/350 |
|
|
|
[考研] 0703化學(xué)336分求調(diào)劑 +6 | zbzihdhd 2026-03-15 | 7/350 |
|
|
|
[考研] 有沒有道鐵/土木的想調(diào)劑南林，給自己招師弟中～ +3 | TqlXswl 2026-03-16 | 7/350 |
|
|
|
[考研] 材料工程專碩274一志愿211求調(diào)劑 +6 | 薛云鵬 2026-03-15 | 6/300 |
|