 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 897 | 回復(fù): 0 | |||||||||||
Cyl556鐵蟲 (初入文壇)
|
[交流]
中國科學(xué)院計算技術(shù)研究所程序分析研究團(tuán)隊招收本科/研究生實習(xí)生！
|
中國科學(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ù)此樓» 猜你喜歡
298求調(diào)劑一志愿中海洋
已經(jīng)有3人回復(fù)
-
085600 英一數(shù)二272求調(diào)劑
已經(jīng)有43人回復(fù)
-
環(huán)境調(diào)劑
已經(jīng)有7人回復(fù)
-
0703化學(xué)306調(diào)劑
已經(jīng)有4人回復(fù)
-
266求調(diào)劑
已經(jīng)有4人回復(fù)
-
請問大家，研究風(fēng)險與應(yīng)對措施那里， 大家都怎么寫呢 ？
已經(jīng)有3人回復(fù)
-
理學(xué)，工學(xué)，農(nóng)學(xué)調(diào)劑，少走彎路，這里歡迎您！
已經(jīng)有11人回復(fù)
-
接收調(diào)劑
已經(jīng)有22人回復(fù)
-
085700資環(huán)求調(diào)劑，初始279，六級已過，英語能力強
已經(jīng)有4人回復(fù)
-
264求調(diào)劑
已經(jīng)有6人回復(fù)
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 Cyl556 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研]
085600 英一數(shù)二272求調(diào)劑
 5+6
|
vida_a 2026-03-01 | 43/2150 |
|
|---|---|---|---|---|
|
|
[考研] 264求調(diào)劑 +6 | 26調(diào)劑 2026-03-03 | 6/300 |
|
|
|
[考研] 306求調(diào)劑 +6 | 張張張張oo 2026-03-03 | 6/300 |
|
|
[考研] 266材料化工求調(diào)劑 +3 | 哇塞王帥 2026-03-03 | 3/150 |
|
|
|
[考研] 085600材料與化工 298 調(diào)劑 +3 | 小西笑嘻嘻 2026-03-03 | 3/150 |
|
|
|
[考研] 291求調(diào)劑 +3 | MuoLuo1312 2026-03-02 | 6/300 |
|
|
|
[考研] 沒上岸的看過來 +3 | tangxiaotian 2026-03-01 | 3/150 |
|
|
|
[考研] 材料工程求調(diào)劑 +3 | 1431251 2026-03-03 | 3/150 |
|
|
|
[考研]
材料325求調(diào)劑
30+3
|
mariusuki 2026-03-02 | 7/350 |
|
|
|
[考研] 295求調(diào)劑。一志愿報考鄭州大學(xué)化學(xué)工藝學(xué)碩，總分295分 +8 | yl1 2026-03-02 | 9/450 |
|
|
|
[考研] 材料284求調(diào)劑，一志愿鄭州大學(xué)英一數(shù)二專碩 +15 | 想上岸的土撥鼠 2026-02-28 | 15/750 |
|
|
|
[考研] 化學(xué)，材料，環(huán)境類求調(diào)劑 +7 | 考研版棒棒 2026-03-02 | 7/350 |
|
|
|
[考研] 材料工程274求調(diào)劑 +5 | Lilithan 2026-03-01 | 5/250 |
|
|
|
[考研] 289求調(diào)劑 +8 | yang婷 2026-03-02 | 9/450 |
|
|
|
[考研] 265分求調(diào)劑不調(diào)專業(yè)和學(xué)校有行學(xué)上就 +6 | 禮堂丁真258 2026-02-28 | 9/450 |
|
|
|
[考研] 284求調(diào)劑 +10 | 天下熯 2026-02-28 | 11/550 |
|
|
|
[基金申請]
 本子寫完了，給DS兄弟看了，得了92分
+3
|
Doma 2026-03-01 | 7/350 |
|
|
|
[基金申請]
剛錄用，沒有期刊號，但是在線可看的論文可以放為代表作嗎
10+3
|
arang1 2026-03-01 | 3/150 |
|
|
|
[論文投稿]
求助coordination chemistry reviews 的寫作模板
10+3
|
ljplijiapeng 2026-02-27 | 4/200 |
|
|
|
[論文投稿]
Optics letters投稿被拒求助
30+3
|
luckyry 2026-02-26 | 4/200 |
|