| 查看: 8800 | 回复: 1 | |||||||||||||||
[调剂信息]
中国科学院计算技术研究所程序分析研究团队招收本科/研究生实习生
|
| 学校: | 中科院 |
| 专业: | 工学->计算机科学与技术 |
| 年级: | 2023 |
| 招生人数: | 2 |
| 招生状态: | 已停止招生 |
| 联系方式: | (为保护个人隐私,联系方式仅限APP查看) |
补充内容
|
中国科学院计算技术研究所程序分析研究团队招收本科/研究生实习生！欢迎有志于保研、出国和对科研实践感兴趣的本科/研究生加入！ 团队专注于研究通过程序分析技术来帮助提高软件系统的可靠性和安全性。我们的目标是研究创新的程序分析方法并实现切实有效的开发工具，来帮助程序开发人员和测试人员有效解决软件中普遍存在的可靠性和安全性问题。我们开发了静态分析检测系统Wukong。 Wukong实现了一系列深度程序分析方法，能够检测跨函数、跨组件、涉及复杂依赖关系的深度安全漏洞。 Wukong支持主流 C/C++、 Java、 Android等编程语言及开发环境， 并能够从谷歌Chromium、 Bash、 sed、 大数据处理系统Hadoop、工业级WEB应用等常见开源软件中发现数千已有商业工具无法检测到的深层错误和潜在安全漏洞， 其中超过一百个严重错误已经被开源社区确认。目前Wukong已经商业化并成功应用于包括华为、工信部、中科软、南方电网、联通数科在内的多家企事业单位。研究团队常年在软件工程、计算机系统、网络安全领域的顶级会议及期刊包括SOSP、CCS、Usenix Security、FSE、ASE、TSE上发表论文，累积超过50篇，获得过ASE2019的SIGSOFT杰出论文奖、CCS2022年的最佳论文提名奖。 团队以顶尖科研成果为目标，沉下心来做有影响力的研究工作。团队年轻活力、氛围宽松自由，可以给你在探索和试错中提供足够的支持。 详细信息请邮件联系李炼：lianli@ict.ac.cn; 陆杰：lujie@ict.ac.cn; 李昊峰：lihaofeng@ict.ac.cn |
回复此楼» 收录本帖的淘帖专辑推荐
 调剂 |
计算机科学与技术专业的招生信息推荐
» 猜你喜欢
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
售SCI文章，我:8O.5.5.1O.54,科目全,可十急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有6人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有6人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有8人回复
-
售SCI一区T0P文章，我:8.O.55.1.O.5.4,科目全,可+急
已经有8人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有10人回复
-
2026国自然函评费到账
已经有11人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有3人回复
2楼2023-04-01 22:08:45
40