 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 2 | 1/1 | 返回列表 |
| 查看: 899 | 回復(fù): 0 | |||||||||||
| 當(dāng)前只顯示滿足指定條件的回帖，點(diǎn)擊這里查看本話題的所有回帖 | |||||||||||
Cyl556鐵蟲 (初入文壇)
|
[交流]
中國科學(xué)院計(jì)算技術(shù)研究所程序分析研究團(tuán)隊(duì)招收本科/研究生實(shí)習(xí)生！
|
||||||||||
中國科學(xué)院計(jì)算技術(shù)研究所程序分析研究團(tuán)隊(duì)招收本科/研究生實(shí)習(xí)生！歡迎有志于保研、出國和對(duì)科研實(shí)踐感興趣的本科/研究生加入！ 團(tuán)隊(duì)專注于研究通過程序分析技術(shù)來幫助提高軟件系統(tǒng)的可靠性和安全性。我們的目標(biāo)是研究創(chuàng)新的程序分析方法并實(shí)現(xiàn)切實(shí)有效的開發(fā)工具，來幫助程序開發(fā)人員和測試人員有效解決軟件中普遍存在的可靠性和安全性問題。我們開發(fā)了靜態(tài)分析檢測系統(tǒng)Wukong。 Wukong實(shí)現(xiàn)了一系列深度程序分析方法，能夠檢測跨函數(shù)、跨組件、涉及復(fù)雜依賴關(guān)系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等編程語言及開發(fā)環(huán)境， 并能夠從谷歌Chromium、 Bash、 sed、 大數(shù)據(jù)處理系統(tǒng)Hadoop、工業(yè)級(jí)WEB應(yīng)用等常見開源軟件中發(fā)現(xiàn)數(shù)千已有商業(yè)工具無法檢測到的深層錯(cuò)誤和潛在安全漏洞， 其中超過一百個(gè)嚴(yán)重錯(cuò)誤已經(jīng)被開源社區(qū)確認(rèn)。目前Wukong已經(jīng)商業(yè)化并成功應(yīng)用于包括華為、工信部、中科軟、南方電網(wǎng)、聯(lián)通數(shù)科在內(nèi)的多家企事業(yè)單位。研究團(tuán)隊(duì)常年在軟件工程、計(jì)算機(jī)系統(tǒng)、網(wǎng)絡(luò)安全領(lǐng)域的頂級(jí)會(huì)議及期刊包括SOSP、CCS、Usenix Security、FSE、ASE、TSE上發(fā)表論文，累積超過50篇，獲得過ASE2019的SIGSOFT杰出論文獎(jiǎng)、CCS2022年的最佳論文提名獎(jiǎng)。 團(tuán)隊(duì)以頂尖科研成果為目標(biāo)，沉下心來做有影響力的研究工作。團(tuán)隊(duì)年輕活力、氛圍寬松自由，可以給你在探索和試錯(cuò)中提供足夠的支持。 詳細(xì)信息請(qǐng)郵件聯(lián)系李煉：lianli@ict.ac.cn; 陸杰：lujie@ict.ac.cn; 李昊峰：lihaofeng@ict.ac.cn [ 來自版塊群 北京 ] |
回復(fù)此樓» 猜你喜歡
學(xué)碩材料275調(diào)劑
已經(jīng)有3人回復(fù)
-
26申博 求博導(dǎo)
已經(jīng)有5人回復(fù)
-
293求調(diào)劑
已經(jīng)有3人回復(fù)
-
環(huán)境調(diào)劑
已經(jīng)有8人回復(fù)
-
中國林科院林化所（南京）2026年招收化學(xué)/材料/環(huán)境工程等背景碩士研究生3名
已經(jīng)有3人回復(fù)
-
306求調(diào)劑
已經(jīng)有7人回復(fù)
-
0703化學(xué) 學(xué)碩 理工科均可 不區(qū)分研究方向 總分279求調(diào)劑
已經(jīng)有4人回復(fù)
-
0856材料工程，初試313調(diào)劑
已經(jīng)有7人回復(fù)
-
化工專碩調(diào)劑
已經(jīng)有7人回復(fù)
-
085600 英一數(shù)二272求調(diào)劑
已經(jīng)有44人回復(fù)
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 Cyl556 的主題更新
| 2 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 環(huán)境調(diào)劑 +8 | chenhanheng 2026-03-02 | 8/400 |
|
|---|---|---|---|---|
|
|
[考研] 085600材料與化工調(diào)劑 280分 +10 | yyqqhh 2026-03-03 | 10/500 |
|
|
[考研] 276求調(diào)劑 +8 | 路lyh123 2026-02-28 | 10/500 |
|
|
|
[碩博家園] 2025屆雙非化工碩士畢業(yè)，申博 +4 | 更多的是 2026-02-27 | 5/250 |
|
|
|
[考研] 267求調(diào)劑 +6 | 釣魚佬as 2026-03-02 | 6/300 |
|
|
|
[考研] 284求調(diào)劑 +6 | 天下熯 2026-03-02 | 6/300 |
|
|
|
[考研] 291求調(diào)劑 +3 | MuoLuo1312 2026-03-02 | 6/300 |
|
|
|
[考研] 材料工程求調(diào)劑 +3 | 1431251 2026-03-03 | 3/150 |
|
|
|
[基金申請(qǐng)]
 成果系統(tǒng)訪問量大，請(qǐng)15分鐘后再嘗試。由此給您造成的不便，敬請(qǐng)諒解。
+8
|
xhuama 2026-03-02 | 9/450 |
|
|
|
[考研] 0854復(fù)試調(diào)劑 276 +5 | wmm9 2026-03-01 | 7/350 |
|
|
|
[考研] 材料化工調(diào)劑 +13 | 今夏不夏 2026-03-01 | 16/800 |
|
|
|
[考研] 求調(diào)劑 +7 | repeatt?t 2026-02-28 | 7/350 |
|
|
|
[考研] 0856材料求調(diào)劑 +12 | hyf hyf hyf 2026-02-28 | 13/650 |
|
|
|
[考研] 材料調(diào)劑 +3 | 恒順自然 2026-03-02 | 3/150 |
|
|
|
[考研] 265分求調(diào)劑不調(diào)專業(yè)和學(xué)校有行學(xué)上就 +6 | 禮堂丁真258 2026-02-28 | 9/450 |
|
|
|
[考研] 求調(diào)劑 +3 | 熬夜的貓頭鷹 2026-03-02 | 3/150 |
|
|
|
[考研] 295求調(diào)劑 +8 | 19171856320 2026-02-28 | 8/400 |
|
|
|
[考研] 材料調(diào)劑 +6 | 愛擦汗的可樂冰 2026-02-28 | 7/350 |
|
|
|
[考研] 317一志愿華南理工電氣工程求調(diào)劑 +6 | Soliloquy_Q 2026-02-28 | 11/550 |
|
|
|
[考研] 304求調(diào)劑 +3 | 52hz~~ 2026-02-28 | 5/250 |
|