 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 2 | 1/1 | 返回列表 |
| 查看: 7096 | 回復(fù): 1 | |||||||||||||||
Cyl556鐵蟲 (初入文壇)
|
[調(diào)劑信息]
中國科學(xué)院計算技術(shù)研究所程序分析研究團(tuán)隊招收本科/研究生實習(xí)生
|
| 學(xué)校: | 中科院 |
| 專業(yè): | 工學(xué)->計算機(jī)科學(xué)與技術(shù) |
| 年級: | 2023 |
| 招生人數(shù): | 2 |
| 招生狀態(tài): | 已停止招生 |
| 聯(lián)系方式: | (為保護(hù)個人隱私,聯(lián)系方式僅限APP查看) |
補(bǔ)充內(nèi)容
|
中國科學(xué)院計算技術(shù)研究所程序分析研究團(tuán)隊招收本科/研究生實習(xí)生！歡迎有志于保研、出國和對科研實踐感興趣的本科/研究生加入！ 團(tuán)隊專注于研究通過程序分析技術(shù)來幫助提高軟件系統(tǒng)的可靠性和安全性。我們的目標(biāo)是研究創(chuàng)新的程序分析方法并實現(xiàn)切實有效的開發(fā)工具，來幫助程序開發(fā)人員和測試人員有效解決軟件中普遍存在的可靠性和安全性問題。我們開發(fā)了靜態(tài)分析檢測系統(tǒng)Wukong。 Wukong實現(xiàn)了一系列深度程序分析方法，能夠檢測跨函數(shù)、跨組件、涉及復(fù)雜依賴關(guān)系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等編程語言及開發(fā)環(huán)境， 并能夠從谷歌Chromium、 Bash、 sed、 大數(shù)據(jù)處理系統(tǒng)Hadoop、工業(yè)級WEB應(yīng)用等常見開源軟件中發(fā)現(xiàn)數(shù)千已有商業(yè)工具無法檢測到的深層錯誤和潛在安全漏洞， 其中超過一百個嚴(yán)重錯誤已經(jīng)被開源社區(qū)確認(rèn)。目前Wukong已經(jīng)商業(yè)化并成功應(yīng)用于包括華為、工信部、中科軟、南方電網(wǎng)、聯(lián)通數(shù)科在內(nèi)的多家企事業(yè)單位。研究團(tuán)隊常年在軟件工程、計算機(jī)系統(tǒng)、網(wǎng)絡(luò)安全領(lǐng)域的頂級會議及期刊包括SOSP、CCS、Usenix Security、FSE、ASE、TSE上發(fā)表論文，累積超過50篇，獲得過ASE2019的SIGSOFT杰出論文獎、CCS2022年的最佳論文提名獎。 團(tuán)隊以頂尖科研成果為目標(biāo)，沉下心來做有影響力的研究工作。團(tuán)隊年輕活力、氛圍寬松自由，可以給你在探索和試錯中提供足夠的支持。 詳細(xì)信息請郵件聯(lián)系李煉：lianli@ict.ac.cn; 陸杰：lujie@ict.ac.cn; 李昊峰：lihaofeng@ict.ac.cn |
回復(fù)此樓» 收錄本帖的淘帖專輯推薦
 調(diào)劑 |
計算機(jī)科學(xué)與技術(shù)專業(yè)的招生信息推薦
» 猜你喜歡
專碩數(shù)二英二0854總分317，過六級，有電賽國賽江蘇省二，省級大創(chuàng)，論文等
已經(jīng)有16人回復(fù)
-
070300調(diào)劑一志愿南京大學(xué)化學(xué)專業(yè)，初試273分，有論文有專利有競賽，求調(diào)劑B區(qū)211
已經(jīng)有14人回復(fù)
-
售瀆SCI文章，我:8⊙ 55 1⊙ 54。備注【⊙=0】
已經(jīng)有6人回復(fù)
-
一志愿南京大學(xué)資源與環(huán)境專業(yè)283分求調(diào)劑
已經(jīng)有7人回復(fù)
-
中科大材料299求調(diào)劑
已經(jīng)有11人回復(fù)
-
成果系統(tǒng)訪問量大，請15分鐘后再嘗試。由此給您造成的不便，敬請諒解。
已經(jīng)有18人回復(fù)
-
售瀆SCI文章，我:8⊙ 55 1⊙ 54。備注【⊙=0】
已經(jīng)有4人回復(fù)
-
售瀆SCI文章，我:8⊙ 55 1⊙ 54。備注【⊙=0】
已經(jīng)有9人回復(fù)
-
接受26屆調(diào)劑生
已經(jīng)有13人回復(fù)
-
調(diào)劑的同學(xué)，走過路過，不要錯過
已經(jīng)有6人回復(fù)
手機(jī)用戶
新蟲 (初入文壇)
- 應(yīng)助: 0 (幼兒園)
- 金幣: 8
- 帖子: 1
- 在線: 15分鐘
- 蟲號: 33517887
- 注冊: 2023-04-01
- 專業(yè): 計算機(jī)軟件
2樓2023-04-01 22:08:45
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 Cyl556 的主題更新
| 2 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 070300調(diào)劑一志愿南京大學(xué)化學(xué)專業(yè)，初試273分，有論文有專利有競賽，求調(diào)劑B區(qū)211 +4 | 82206202 2026-02-28 | 14/700 |
|
|---|---|---|---|---|
|
[考研]
 調(diào)劑的同學(xué)，走過路過，不要錯過
+4
|
likeihood 2026-03-06 | 6/300 |
|
|
|
[考研] 求調(diào)劑推薦 +4 | 微辣不吃 2026-03-06 | 4/200 |
|
|
|
[考研]
 化學(xué)工程與技術(shù)316求調(diào)劑
+5
|
Sixuan wang 2026-03-06 | 5/250 |
|
|
|
[考研] 08工科求調(diào)劑 +3 | 隆LLL 2026-03-06 | 4/200 |
|
|
|
[考研] 287求調(diào)劑 +3 | 看看我. 2026-03-05 | 6/300 |
|
|
|
[考研] 材料專碩調(diào)劑 +4 | 慕辰123 2026-03-05 | 7/350 |
|
|
|
[考博] 2026申博自薦 六級440電催化方向 +4 | 櫻落成影花成雙 2026-03-05 | 4/200 |
|
|
|
[考研] 0856材料與化工求調(diào)劑！ +5 | 化工考生111 2026-03-04 | 11/550 |
|
|
|
[考研] 274求調(diào)劑 +9 | 一個學(xué)習(xí)者 2026-03-04 | 9/450 |
|
|
|
[考研] 304求調(diào)劑 +4 | 曼殊2266 2026-03-05 | 4/200 |
|
|
|
[考研]
材料學(xué)學(xué)碩308分/本科東北大學(xué)/一志愿西北工業(yè)大學(xué)/
 5+3
|
蘇堯幺幺 2026-03-03 | 8/400 |
|
|
|
[考研] 274環(huán)境工程求調(diào)劑 +6 | 扶柳盈江 2026-03-05 | 6/300 |
|
|
|
[論文投稿]
主編終審卡者不動
100+4
|
Stray2021 2026-03-03 | 4/200 |
|
|
|
[考研] 一志愿985材料與化工 326分求調(diào)劑 +3 | Hz795795 2026-03-04 | 3/150 |
|
|
|
[考研] 286 +6 | ksncj 2026-03-04 | 6/300 |
|
|
|
[考研] 化工專碩調(diào)劑 +4 | 利好利好. 2026-03-03 | 7/350 |
|
|
|
[考研] 268求調(diào)劑 +6 | 好運連綿不絕 2026-03-02 | 6/300 |
|
|
|
[考研] 求調(diào)劑 +11 | yunziaaaaa 2026-03-01 | 13/650 |
|
|
|
[考研] 哈工大計算機(jī)劉劼團(tuán)隊招生 +4 | hit_aiot 2026-03-01 | 6/300 |
|