 |
 |
 |
 |
 |
 |
||
 |
 |
 |
 |
 |
| 1 | 1/1 | 返回列表 |
| 查看: 898 | 回復(fù): 0 | |||||||||||
Cyl556鐵蟲 (初入文壇)
|
[交流]
中國(guó)科學(xué)院計(jì)算技術(shù)研究所程序分析研究團(tuán)隊(duì)招收本科/研究生實(shí)習(xí)生！
|
中國(guó)科學(xué)院計(jì)算技術(shù)研究所程序分析研究團(tuán)隊(duì)招收本科/研究生實(shí)習(xí)生！歡迎有志于保研、出國(guó)和對(duì)科研實(shí)踐感興趣的本科/研究生加入！ 團(tuán)隊(duì)專注于研究通過程序分析技術(shù)來幫助提高軟件系統(tǒng)的可靠性和安全性。我們的目標(biāo)是研究創(chuàng)新的程序分析方法并實(shí)現(xiàn)切實(shí)有效的開發(fā)工具，來幫助程序開發(fā)人員和測(cè)試人員有效解決軟件中普遍存在的可靠性和安全性問題。我們開發(fā)了靜態(tài)分析檢測(cè)系統(tǒng)Wukong。 Wukong實(shí)現(xiàn)了一系列深度程序分析方法，能夠檢測(cè)跨函數(shù)、跨組件、涉及復(fù)雜依賴關(guān)系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等編程語(yǔ)言及開發(fā)環(huán)境， 并能夠從谷歌Chromium、 Bash、 sed、 大數(shù)據(jù)處理系統(tǒng)Hadoop、工業(yè)級(jí)WEB應(yīng)用等常見開源軟件中發(fā)現(xiàn)數(shù)千已有商業(yè)工具無法檢測(cè)到的深層錯(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ù)
-
中國(guó)林科院林化所（南京）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 的主題更新
| 1 | 1/1 | 返回列表 |
| 最具人氣熱帖推薦 [查看全部] | 作者 | 回/看 | 最后發(fā)表 | |
|---|---|---|---|---|
|
[考研] 環(huán)境調(diào)劑 +8 | chenhanheng 2026-03-02 | 8/400 |
|
|---|---|---|---|---|
|
[考研] 085700資環(huán)求調(diào)劑，初始279，六級(jí)已過，英語(yǔ)能力強(qiáng) +3 | 085700資環(huán)調(diào)劑 2026-03-03 | 4/200 |
|
|
|
[考研] 0805總分292，求調(diào)劑 +12 | 幻想之殤 2026-03-01 | 12/600 |
|
|
|
[考研]
材料270求調(diào)劑
 6+6
|
Eiiiio 2026-03-01 | 11/550 |
|
|
|
[考研] 材料學(xué)碩318求調(diào)劑 +11 | February_Feb 2026-03-01 | 11/550 |
|
|
|
[考研] 化工270求調(diào)劑 +10 | 什么名字qwq 2026-03-02 | 10/500 |
|
|
|
[考研] 26考研報(bào)考西工大材料308分求調(diào)劑 +4 | weizhong123 2026-03-01 | 5/250 |
|
|
|
[考研] 291求調(diào)劑 +3 | MuoLuo1312 2026-03-02 | 6/300 |
|
|
|
[考研] 324求調(diào)劑 +4 | wxz2 2026-03-03 | 5/250 |
|
|
|
[考研] 求調(diào)劑院校 +6 | 云朵452 2026-03-02 | 8/400 |
|
|
|
[考研] 考研復(fù)試調(diào)劑，過國(guó)家線的同學(xué)都可報(bào)名 +7 | 黑！在干嘛 2026-02-28 | 8/400 |
|
|
|
[考研] 298求調(diào)劑 +7 | axyz3 2026-02-28 | 8/400 |
|
|
|
[考研]
 高分子化學(xué)與物理調(diào)劑
+6
|
好好好1233 2026-02-28 | 16/800 |
|
|
|
[考研] 0856材料調(diào)劑 +5 | 沿岸有貝殼OUC 2026-03-02 | 5/250 |
|
|
|
[考研] 272求調(diào)劑 +9 | 材紫有化 2026-02-28 | 9/450 |
|
|
|
[考研] 化學(xué)，材料，環(huán)境類求調(diào)劑 +7 | 考研版棒棒 2026-03-02 | 7/350 |
|
|
|
[考研] 261求調(diào)劑 +3 | 陸lh 2026-03-01 | 3/150 |
|
|
|
[考研] 264求調(diào)劑 +4 | 巴拉巴拉根556 2026-02-28 | 4/200 |
|
|
|
[考研] 材料類求調(diào)劑 +11 | wana_kiko 2026-02-28 | 14/700 |
|
|
|
[考研] 化工299分求調(diào)劑 一志愿985落榜 +5 | 嘻嘻(*^ω^*) 2026-03-01 | 5/250 |
|