 |
 |
 |
| 24小時(shí)熱門(mén)版塊排行榜 |
- >論壇更新日志 (1114)
- >考研 (100)
- >導(dǎo)師招生 (90)
- >蟲(chóng)友互識(shí) (61)
- >基金申請(qǐng) (30)
- >休閑灌水 (15)
- >碩博家園 (12)
- >博后之家 (9)
- >教師之家 (7)
- >找工作 (7)
- >論文投稿 (7)
- >經(jīng)濟(jì)學(xué) (6)
- >微米和納米 (6)
- >考博 (6)
- >文獻(xiàn)求助 (6)
- >公派出國(guó) (4)
 |
 |
 |
||
 |
 |
 |
 |
 |
| 5 | 1/1 | 返回列表 |
| 查看: 865 | 回復(fù): 4 | |||||||
| 當(dāng)前只顯示滿足指定條件的回帖，點(diǎn)擊這里查看本話題的所有回帖 | |||||||
bridge1227新蟲(chóng) (初入文壇)
|
[交流]
中國(guó)科大—國(guó)創(chuàng)高可信軟件工程中心招聘信息
|
||||||
中國(guó)科大—國(guó)創(chuàng)高可信軟件工程中心招聘信息 一、 單位簡(jiǎn)介 中國(guó)科大—國(guó)創(chuàng)高可信軟件工程中心由中國(guó)科學(xué)技術(shù)大學(xué)與科大國(guó)創(chuàng)軟件股份有限公司合作創(chuàng)辦，雙方共同將高可信軟件的相關(guān)技術(shù)應(yīng)用于與國(guó)家安全和社會(huì)穩(wěn)定密切相關(guān)的關(guān)鍵基礎(chǔ)設(shè)施開(kāi)發(fā)中，努力爭(zhēng)取建成高可信軟件國(guó)家工程中心，占領(lǐng)技術(shù)制高點(diǎn)，推動(dòng)高可信軟件開(kāi)發(fā)和評(píng)測(cè)體制的建立，推動(dòng)高可信軟件系統(tǒng)的應(yīng)用，提高關(guān)鍵領(lǐng)域的軟件可靠性和安全性，為國(guó)家、社會(huì)和人民生命財(cái)產(chǎn)的安全服務(wù)。 工程中心依托陳意云教授創(chuàng)辦并領(lǐng)銜指導(dǎo)的中國(guó)科學(xué)技術(shù)大學(xué)軟件安全實(shí)驗(yàn)室。從2000年起至今，陳意云教授一直帶領(lǐng)中國(guó)科大軟件安全實(shí)驗(yàn)室的師生在高可信軟件領(lǐng)域展開(kāi)研究，積累了該領(lǐng)域大量的核心技術(shù)，在國(guó)內(nèi)外具有一定的影響力。 工程中心主任馮新宇教授，畢業(yè)于耶魯大學(xué)，是操作系統(tǒng)驗(yàn)證和并發(fā)程序驗(yàn)證領(lǐng)域國(guó)際一流的研究學(xué)者之一。其先后在相關(guān)領(lǐng)域內(nèi)的知名國(guó)際會(huì)議（POPL、PLDI、ESOP、ICFP和CONCUR等）和期刊上發(fā)表高水平論文二十余篇，相關(guān)成果受到國(guó)際同行的廣泛關(guān)注。 在高可信軟件研究領(lǐng)域，本工程中心“以形式程序驗(yàn)證為主、以程序分析技術(shù)為輔”的基本思路，研究提高軟件可信程度的理論和技術(shù)等。目前正在開(kāi)展的課題有系統(tǒng)軟件的形式驗(yàn)證、并發(fā)多核軟件的開(kāi)發(fā)與驗(yàn)證、C程序靜態(tài)分析、出具證明的編譯器技術(shù)、自動(dòng)定理證明系統(tǒng)等。 在此背景下，工程中心的建設(shè)分為三個(gè)階段。第一階段，通過(guò)在高可信軟件基礎(chǔ)理論研究和高可信軟件開(kāi)發(fā)工具開(kāi)發(fā)方面成果的積累，爭(zhēng)取經(jīng)過(guò)3年左右時(shí)間，將工程中心建成高可信軟件國(guó)家工程實(shí)驗(yàn)室，或其他名稱(chēng)的國(guó)家級(jí)實(shí)驗(yàn)室。第二階段，壯大高可信軟件國(guó)家工程實(shí)驗(yàn)室，并在條件成熟時(shí)由科大國(guó)創(chuàng)公司牽頭合作成立高可信軟件開(kāi)發(fā)企業(yè)，開(kāi)發(fā)產(chǎn)品級(jí)的高可信軟件開(kāi)發(fā)工具和驗(yàn)證工具并推向市場(chǎng)，為相關(guān)行業(yè)安全攸關(guān)軟件進(jìn)行高可信驗(yàn)證或評(píng)測(cè)，推動(dòng)高可信軟件及其安全認(rèn)證上升為國(guó)家戰(zhàn)略性新興產(chǎn)業(yè)。第三階段，把實(shí)驗(yàn)室和企業(yè)提升到國(guó)際一流水平，把高可信軟件開(kāi)發(fā)工具和驗(yàn)證工具等軟件產(chǎn)品推向國(guó)際市場(chǎng)。 二、招聘信息 崗位名稱(chēng)：軟件工程師（2~4名） 崗位職責(zé)： 作為項(xiàng)目研發(fā)人員，參與工程中心有產(chǎn)業(yè)化前景課題（目前涵蓋代碼分析和驗(yàn)證、定理證明等方面）的孵化，包括調(diào)研、設(shè)計(jì)、編碼、調(diào)試、文檔撰寫(xiě)等工作。 崗位要求： 具有碩士學(xué)位，研究方向?yàn)槌绦蚍治龊万?yàn)證、軟件工程、形式化方法、計(jì)算機(jī)理論等者優(yōu)先 有較為扎實(shí)的英語(yǔ)閱讀功底 工作細(xì)致、責(zé)任心強(qiáng)、為人正直 強(qiáng)烈的學(xué)習(xí)和創(chuàng)業(yè)意愿、良好的團(tuán)隊(duì)協(xié)作能力 工作地點(diǎn)：合肥或者蘇州 三、 應(yīng)聘流程 簡(jiǎn)歷請(qǐng)按如下規(guī)則命名：應(yīng)聘崗位—學(xué)�！獙�(zhuān)業(yè)—姓名。 1、有意者將簡(jiǎn)歷投遞至郵箱：hcscenter@ustc.edu.cn 2、電話面試 3、面試 4、體檢 5、錄用 歡迎有志于將推動(dòng)高可信軟件學(xué)術(shù)成果產(chǎn)業(yè)化的優(yōu)秀人士加入！我們將為各位提供有競(jìng)爭(zhēng)力的薪資和良好的工作環(huán)境！ 四、聯(lián)系方式 聯(lián)系人：任老師 聯(lián)系電話：0551-63600467 電子郵箱： hcscenter@ustc.edu.cn 單位地址：安徽合肥黃山路中國(guó)科學(xué)技術(shù)大學(xué)西區(qū)科技實(shí)驗(yàn)樓西樓6樓 |
回復(fù)此樓» 猜你喜歡
求調(diào)劑院校信息
已經(jīng)有4人回復(fù)
-
085600材料與化工306
已經(jīng)有4人回復(fù)
-
286求調(diào)劑
已經(jīng)有10人回復(fù)
-
328求調(diào)劑，英語(yǔ)六級(jí)551，有科研經(jīng)歷
已經(jīng)有9人回復(fù)
-
一志愿北京化工大學(xué)070300 學(xué)碩336求調(diào)劑
已經(jīng)有4人回復(fù)
-
286分人工智能專(zhuān)業(yè)請(qǐng)求調(diào)劑愿意跨考！
已經(jīng)有8人回復(fù)
-
資源與環(huán)境 調(diào)劑申請(qǐng)(333分)
已經(jīng)有5人回復(fù)
-
280求調(diào)劑
已經(jīng)有12人回復(fù)
-
269專(zhuān)碩求調(diào)劑
已經(jīng)有5人回復(fù)
-
材料學(xué)碩301分求調(diào)劑
已經(jīng)有7人回復(fù)
» 本主題相關(guān)價(jià)值貼推薦，對(duì)您同樣有幫助:
- 中國(guó)科學(xué)技術(shù)大學(xué)國(guó)創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
- 中國(guó)科大—國(guó)創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
- 中國(guó)科大—國(guó)創(chuàng)高可信軟件工程中心招聘信息
已經(jīng)有0人回復(fù)
不敢說(shuō)先森
新蟲(chóng) (小有名氣)
- 應(yīng)助: 1 (幼兒園)
- 金幣: 1430
- 散金: 100
- 帖子: 106
- 在線: 20.1小時(shí)
- 蟲(chóng)號(hào): 3346789
- 注冊(cè): 2014-07-31
- 專(zhuān)業(yè): 信號(hào)理論與信號(hào)處理
5樓2014-09-23 21:43:10
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 一志愿211，0703化學(xué)310分求調(diào)劑 +3 | 努力奮斗112 2026-03-15 | 3/150 |
|
|---|---|---|---|---|
|
|
[考研] 0805 316求調(diào)劑 +3 | 大雪深藏 2026-03-18 | 3/150 |
|
|
|
[考研] 297求調(diào)劑 +3 | 喜歡還是不甘心 2026-03-20 | 3/150 |
|
|
[考研] 求助 +5 | 夢(mèng)里的無(wú)言 2026-03-21 | 6/300 |
|
|
|
[考研] 0805材料320求調(diào)劑 +3 | 深海物語(yǔ) 2026-03-20 | 3/150 |
|
|
|
[考研] 0856材料專(zhuān)碩353求調(diào)劑 +3 | NIFFFfff 2026-03-20 | 3/150 |
|
|
|
[考研] 一志愿天津大學(xué)化學(xué)工藝專(zhuān)業(yè)（081702）315分求調(diào)劑 +12 | yangfz 2026-03-17 | 12/600 |
|
|
|
[考研] 一志愿 西北大學(xué) ，070300化學(xué)學(xué)碩，總分287，雙非一本，求調(diào)劑。 +3 | 晨昏線與星海 2026-03-18 | 3/150 |
|
|
|
[考研] 304求調(diào)劑 +7 | 司空. 2026-03-18 | 7/350 |
|
|
|
[考研] 一志愿蘇州大學(xué)材料求調(diào)劑，總分315（英一） +5 | sbdksD 2026-03-19 | 5/250 |
|
|
|
[考研] 353求調(diào)劑 +3 | 拉鉤不許變 2026-03-20 | 3/150 |
|
|
|
[考研] 086500 325 求調(diào)劑 +3 | 領(lǐng)帶小熊 2026-03-19 | 3/150 |
|
|
|
[考博] 申博26年 +3 | 八6八68 2026-03-19 | 3/150 |
|
|
|
[考研] 0703化學(xué)調(diào)劑 +5 | pupcoco 2026-03-17 | 8/400 |
|
|
|
[考研] 本科鄭州大學(xué)物理學(xué)院，一志愿華科070200學(xué)碩，346求調(diào)劑 +4 | 我不是一根蔥 2026-03-18 | 4/200 |
|
|
|
[考研] 收復(fù)試調(diào)劑生 +4 | 雨后秋荷 2026-03-18 | 4/200 |
|
|
|
[考博] 26博士申請(qǐng) +3 | 1042136743 2026-03-17 | 3/150 |
|
|
|
[考研] 一志愿，福州大學(xué)材料專(zhuān)碩339分求調(diào)劑 +3 | 木子momo青爭(zhēng) 2026-03-15 | 3/150 |
|
|
|
[考研] 327求調(diào)劑 +6 | 拾光任染 2026-03-15 | 11/550 |
|
|
|
[考研] 0856專(zhuān)碩279求調(diào)劑 +5 | 加油加油！? 2026-03-15 | 5/250 |
|