 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 2 | 1/1 | 返回列表 |
| 查看: 7122 | 回復(fù): 1 | |||||||||||||||
[調(diào)劑信息]
中國科學院計算技術(shù)研究所程序分析研究團隊招收本科/研究生實習生
|
| 學校: | 中科院 |
| 專業(yè): | 工學->計算機科學與技術(shù) |
| 年級: | 2023 |
| 招生人數(shù): | 2 |
| 招生狀態(tài): | 已停止招生 |
| 聯(lián)系方式: | (為保護個人隱私,聯(lián)系方式僅限APP查看) |
補充內(nèi)容
|
中國科學院計算技術(shù)研究所程序分析研究團隊招收本科/研究生實習生！歡迎有志于保研、出國和對科研實踐感興趣的本科/研究生加入！ 團隊專注于研究通過程序分析技術(shù)來幫助提高軟件系統(tǒng)的可靠性和安全性。我們的目標是研究創(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è)工具無法檢測到的深層錯誤和潛在安全漏洞， 其中超過一百個嚴重錯誤已經(jīng)被開源社區(qū)確認。目前Wukong已經(jīng)商業(yè)化并成功應(yīng)用于包括華為、工信部、中科軟、南方電網(wǎng)、聯(lián)通數(shù)科在內(nèi)的多家企事業(yè)單位。研究團隊常年在軟件工程、計算機系統(tǒng)、網(wǎng)絡(luò)安全領(lǐng)域的頂級會議及期刊包括SOSP、CCS、Usenix Security、FSE、ASE、TSE上發(fā)表論文，累積超過50篇，獲得過ASE2019的SIGSOFT杰出論文獎、CCS2022年的最佳論文提名獎。 團隊以頂尖科研成果為目標，沉下心來做有影響力的研究工作。團隊年輕活力、氛圍寬松自由，可以給你在探索和試錯中提供足夠的支持。 詳細信息請郵件聯(lián)系李煉：lianli@ict.ac.cn; 陸杰：lujie@ict.ac.cn; 李昊峰：lihaofeng@ict.ac.cn |
回復(fù)此樓» 收錄本帖的淘帖專輯推薦
 調(diào)劑 |
計算機科學與技術(shù)專業(yè)的招生信息推薦
» 猜你喜歡
新疆大學地質(zhì)與礦業(yè)工程學院招生
已經(jīng)有32人回復(fù)
-
0856材料與化工353分求調(diào)劑
已經(jīng)有4人回復(fù)
-
282分材料專業(yè)求調(diào)劑院校
已經(jīng)有13人回復(fù)
-
315食品工程求調(diào)劑
已經(jīng)有5人回復(fù)
-
環(huán)境調(diào)劑
已經(jīng)有3人回復(fù)
-
接受26屆調(diào)劑生
已經(jīng)有20人回復(fù)
-
考研材料與化工，求調(diào)劑
已經(jīng)有3人回復(fù)
-
歡迎211本科同學，過A區(qū)國家線，A區(qū)非偏遠一本，交叉學科課題組
已經(jīng)有35人回復(fù)
-
304求調(diào)劑（085602一志愿985）
已經(jīng)有4人回復(fù)
-
294 英二數(shù)二物化 求調(diào)劑
已經(jīng)有6人回復(fù)
2樓2023-04-01 22:08:45
相關(guān)版塊跳轉(zhuǎn)
我要訂閱樓主 Cyl556 的主題更新
| 2 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 0856材料與化工353分求調(diào)劑 +4 | NIFFFfff 2026-03-09 | 4/200 |
|
|---|---|---|---|---|
|
|
[考研] 282分材料專業(yè)求調(diào)劑院校 +10 | 楓橋ZL 2026-03-09 | 13/650 |
|
|
[考研] 歡迎211本科同學，過A區(qū)國家線，A區(qū)非偏遠一本，交叉學科課題組 +22 | lisimayy 2026-03-04 | 35/1750 |
|
|
|
[考研] 304求調(diào)劑（085602一志愿985） +4 | 化工人999 2026-03-09 | 4/200 |
|
|
|
[考研] 材料與化工 一志愿山大 321分 求調(diào)劑 +4 | 每天散步 2026-03-09 | 5/250 |
|
|
|
[考研] 一志愿中科大材料與化工。353分能調(diào)劑到哪？ +3 | MayUxw1 2026-03-08 | 3/150 |
|
|
|
[考研] 求0856調(diào)劑 +5 | 小力氣珂珂 2026-03-08 | 5/250 |
|
|
|
[考研] 醫(yī)學檢驗專業(yè)26考研求調(diào)劑 +3 | 琪ya 2026-03-03 | 5/250 |
|
|
|
[考研] 材料工程307，求調(diào)劑 +4 | 我要燃燒你的夢 2026-03-08 | 4/200 |
|
|
|
[考研] 安徽農(nóng)業(yè)大學材料與化學學院0856材料招收調(diào)劑 +3 | akakk47 2026-03-05 | 9/450 |
|
|
|
[考研] 08工科 +4 | li李樂成 2026-03-06 | 4/200 |
|
|
|
[考研] 材料與化工304求B區(qū)調(diào)劑 +4 | 邱gl 2026-03-06 | 4/200 |
|
|
|
[考研] 化學專業(yè)調(diào)劑 +5 | 好好好1233 2026-03-04 | 6/300 |
|
|
|
[考研] 085602高分子方向求調(diào)劑 +7 | tlgudy 2026-03-04 | 7/350 |
|
|
|
[考研] 287求調(diào)劑 +3 | 看看我. 2026-03-05 | 6/300 |
|
|
|
[考研] 085602 293分求調(diào)劑 +3 | SivanNano. 2026-03-05 | 3/150 |
|
|
|
[考研] 304分材料專碩求調(diào)劑 +11 | qiuzhigril 2026-03-03 | 14/700 |
|
|
|
[考研] 264求調(diào)劑 +8 | 26調(diào)劑 2026-03-03 | 8/400 |
|
|
|
[考研] 材料專碩346求調(diào)劑 +3 | 旺一下 2026-03-04 | 3/150 |
|
|
|
[考研] 331求調(diào)劑 +3 | zzZ&zZ 2026-03-03 | 3/150 |
|