球友会qy2022年博士后招收计划
文章来源： | 发布时间：2022-01-17 | 【打印】 【关闭】
中国科研实验室软件研究所（以下简称“球友会qy”）创建于1985年，是一所致力于计算机科学理论和软件高新技术的研究与开展的综合性基地型研究所。1991年经国家批准开始招收博士后研究人员（以下简称“博士后”），现有计算机科学与技术、软件工程两个一级学科博士后科研工作流动站。根据工作需要，现面向海内外公开招收博士后研究人员。具体招收计划如下：
|
序号 |
合作导师 |
研究方向及主要研究内容 |
招收人数 |
联系人及其邮件地址 | ||||
|
一、软件工程博士后流动站 | ||||||||
|
1 |
丁治明 |
时空数据处理，群体智能，自主协同 |
3 |
丁治明 | ||||
|
2 |
王宏安 |
人机交互、实时智能 |
1 |
王宏安 | ||||
|
3 |
王青 |
软件工程数据挖掘和软件质量提升方向：进行数据驱动的软件开发赋能技术的研究，包括测试智能化服务技术、软件制品数据挖掘和理解技术、软件质量提升技术等，完成高水平科研成果输出，并推广相关产业化工作。 |
1 |
郭丽丽 | ||||
|
4 |
王青 |
领域知识图谱构建应用：课题组在领域知识图谱构建方面有较多的研究积累，当前正在围绕领域知识图谱构建过程中的知识表示、知识抽取、事件表示、知识推理和应用等方面的前沿问题展开研究工作。同时结合近年来，领域数据的积累，以及大数据、自然语言处理技术的不断突破，如何将知识图谱技术应用在相关领域，辅助领域工作者提升工作效率和召开智能辅助决策，逐渐成为知识图谱应用研究的热点。 |
1 |
郭丽丽 | ||||
|
5 |
王青 |
在智能软件工程、需求工程、自然语言理解应用等相关领域具有较丰富的研究经验积累，具有独立召开国际学术研讨的能力；计算机科学与技术相关专业博士；具有独立组织科研项目研究开发工作的能力。已在以上领域有优秀成果，如在国际顶级学术期刊/会议录用或发表高水平学术论文优先考虑。 |
1 |
郭丽丽 | ||||
|
6 |
左春 |
智能化软件系统工程，面向复杂软件的互操作技术 |
2 |
|||||
|
7 |
田丰 |
笔式交互技术与草图理解方向：从事新型笔式交互技术研发，包括笔迹渲染、基于笔的状态感知、笔式创新输入等，从事草图理解算法研发，包括草图图文分类，CAD草图、手绘表格、数学公式识别等，与头部企业密切合作，将笔式交互技术落地在工业、办公、医疗等领域，召开科研成果转化工作。 |
1 |
田丰 | ||||
|
8 |
田丰 |
复杂环境触控效能增强方向：研究用户在环境运动、用户运动、下雨、视线遮挡、非正常部位触控状态下的触控精度增强技术，例如使用建模预测用户意图或利用软硬件技术屏蔽或补偿干扰因素，完成高水平科研成果产出，扩大相关领域研究在学术界和产业界影响力，并召开相关产业化工作。 |
1 |
田丰 | ||||
|
9 |
严俊 |
软件的智能化测试技术研究方向：从事软件测试的前沿技术研究。针对软件具有的复杂结构、多种开发方法以及持续集成的开发部署环境等挑战，研究具有高度自动化和适应性的测试生成方法，开发高质量的软件测试工具或者发表高质量论文，不断扩大相关领域研究在学术界和产业界影响力，并推广相关产业化工作。 |
1 |
叶丹 | ||||
|
10 |
苏璞睿 |
软件漏洞挖掘与分析方向：主要针对二进制软件的漏洞挖掘、漏洞分析、漏洞利用等方面的前沿方法和技术展开研究，参与团队项目申请、研发等工作，完成高水平科研成果输出。 |
1 |
彭双美 | ||||
|
11 |
苏璞睿 |
恶意软件检测与分析方向：主要针对APT攻击场景下的恶意软件分析、恶意软件检测等问题展开研究，参与团队项目申请、研发等工作，完成高水平科研成果输出。 |
1 |
彭双美 | ||||
|
12 |
李玲 |
智能计算系统、智能处理器编程模型、RISC-V基础软件 |
1 |
李玲 | ||||
|
13 |
吴敬征 |
开源软件供应链安全：从事开源软件供应链安全研究工作，代码表示及缺陷挖掘，利用漏洞图谱对开源软件供应链的安全风险、维护性风险及知识产权风险进行分析研究。 |
1 |
吴敬征 | ||||
|
14 |
张凤军 |
区块链技术研究方向：高性能区块链技术以及去中心化金融安全检测与分析。 |
1 |
张凤军 | ||||
|
15 |
张凤军 |
图数据库与智能可视分析方向：涉及传染病、金融数据的可视分析技术研究。 |
1 |
张凤军 | ||||
|
16 |
张常有 |
并行与分布式技术方向：从事异构体系架构下的并行算法研发，包括片内异构、节点异构如GPU等，具备有限元等数值方法的并行优化经验者优先；从事分布式环境下的软件开发及集成技术研究，具备SOA/微服务系统开发经验者优先。 |
1 |
张常有 | ||||
|
17 |
张常有 |
数据智能技术方向：从事大数据与人工智能技术融合方法研究，能够基于大数据引擎，顺利获得机器学习等技术，对海量数据处理、分析、挖掘，有时序数据处理、基于具体系统大数据分析经验者优先。 |
1 |
张常有 | ||||
|
18 |
武延军 |
智能基础软件：面向RISC-V芯片和AI芯片的操作系统内核、编译工具链、运行时环境、编程框架等。 |
2 |
武延军 | ||||
|
19 |
赵琛 |
智能基础理论：研究智能计算的可解释、可计算、可进化和人机深度融合问题。 |
2 |
张立波 | ||||
|
20 |
蔡彦 |
RISC-V、X86等软件分析与测试：研究以动态分析为主的大规模软件动态测试方法，针对并发缺陷、软件安全漏洞等，并适配RISC-V平台。 |
1 |
蔡彦 | ||||
|
21 |
蔡彦 |
自动驾驶系统算法与测试研究：从事自动驾驶软件中相关算法研究、自动化测试等，例如关键场景建模与测试。 |
1 |
蔡彦 | ||||
|
22 |
蔡彦 |
安卓平台融合测试：研究针对安卓平台的系统性测试方法，包括针对APP、framework、驱动等。 |
1 |
蔡彦 | ||||
|
23 |
魏峻 |
程序理解与生成方向：从事基于深度学习等AI方法的软件生成技术研究，完成高水平科研成果输出，扩大相关领域研究在学术界和产业界影响力，并召开产业化工作。 |
1 |
叶丹 | ||||
|
24 |
魏峻 |
异构智能计算框架方向：从事智能计算算法建模方法，异构计算资源调度管理和优化加速技术的研究，完成高水平科研成果输出，有助于国产智能计算系统软件基础设施的开展。 |
1 |
叶丹 | ||||
| 二、计算机科学与技术博士后流动站 | ||||||||
| 1 | 马菲菲 | 自动推理与约束求解方向：从事自动推理（Automated Reasoning）和约束求解（Constraint Solving）领域的前沿算法研究，完成高水平科研成果输出。 具体研究内容包括：高效的约束求解和数学规划软件研发，融合机器学习的组合优化算法。 |
1 |
马菲菲
| ||||
|
2 |
王宏安 |
人机交互、实时智能 |
1 |
王宏安 | ||||
|
3 |
田丰 |
触觉交互研究方向：研究包含对触觉感知和反馈机理的深度理解；对现有触觉交互设备和触觉界面，产生触觉变化组织的全面、系统的收集和分析；结合自然人机交互技术对触觉交互工具的设计、开发；针对多种交互环境下，不同触觉交互模式的用户测试评估和可用性的研究。 |
1 |
田丰 | ||||
|
4 |
田丰 |
智能感知研究方向：从事智能感知技术，包括柔性电子、信号处理、机器学习算法等技术研发；面向自然交互场景，搭建系列智能交互装置，进行用户研究，分析可行性与实用性；输出高水平科研成果，扩大交互领域研究在学术界和产业界影响力，并召开相关产业化工作。 |
1 |
田丰 | ||||
|
5 |
冯登国 |
数据安全 |
1 |
冯登国 | ||||
| 6 | 冯登国 | 密码与系统安全 | 10 |
张颖君
| ||||
|
7 |
孙乐 |
自然语言处理 |
1 |
孙乐 | ||||
|
8 |
李会元 |
数值并行计算：召开以下前沿基础研究，流体力学与电磁场计算高精度方法与软件；第一性原理计算;大型非线性偏微分方程谱元方法；完成高水平论文等成果输出。 |
1 |
李会元 | ||||
|
9 |
李会元 |
E级高性能计算软件与算法：与高性能计算机研制单位密切合作，召开E机超级计算机上的应用的移植与优化、融合了人工智能的混合精度算法研究，完成高水平科研成果输出。 |
1 |
李会元 | ||||
|
10 |
李明树 贺也平 杨秋松 |
软硬件深度融合与协同设计方向：研究 “CPU-OS”协同设计机制和cpu漏洞检测、防御、验证反复，显著提升全系统的运行效能和安全性。 |
1 |
李文波 | ||||
|
11 |
李明树 贺也平 杨秋松 |
OS深度设计技术方向：针对“云-边-端”的一体化新型计算环境的革新趋势，研究OS在系统架构、关键机制、软件形态、可检查证明等核心要素方面的变革性技术。 |
1 |
李文波 | ||||
|
12 |
吴文玲 |
对称密码的设计与分析：分组密码、认证加密算法和消息鉴别码算法的设计理论、分析方法、优化实现和测试评估，对称密码的量子安全性。 |
1 |
吴文玲 | ||||
|
13 |
吴玉泉 |
大数据与智能信息处理 |
2 |
吴玉泉 | ||||
|
14 |
吴志林 |
使用定理证明辅助工具Coq对FIRRTL的关键编译步骤的语义保持性进行形式验证：Chisel是加州伯克利分校提出的一种针对RISC-V处理器设计的硬件构造语言，而FIRRTL是Chisel的中间表示。Chisel的很多编译优化都在FIRRTL上进行，保证FIRRTL编译步骤的正确性对于确保RISC-V Chisel处理器设计的功能正确性至关重要。本课题将探讨如何使用定理证明辅助工具Coq对FIRRTL的关键编译步骤的语义保持性进行形式验证； 基于分离逻辑进一步开展C/C++/Rust程序的自动形式分析与验证技术：内存安全对于保证系统软件的安全性至关重要。已有的系统软件一般使用C/C++语言来编写，而Rust是最近期益流行的一种系统软件编程语言。本课题计划基于分离逻辑进一步开展C/C++/Rust程序的自动形式分析与验证技术，包括符号执行、抽象解释、软件模型检测等，并开发验证工具和进行实例研究。 |
1 |
吴志林 | ||||
|
15 |
张立军 |
人工智能系统验证与测试技术方向：近年来，深度学习技术越来越多的应用在无人驾驶、芯片等安全攸关领域。对于这类系统，传统测试方法无法满足系统可靠性的更高要求。人工智能和形式化方法交叉结合已经成为研究热点之一，相关问题得到越来越多学者关注。本课题将研究人工智能系统验证与测试技术，主要探讨如何用形式化方法来刻画及分析人工智能系统的安全性、可靠性、公平性等性质。 |
1 |
张立军 | ||||
|
16 |
张振峰 |
后量子密码，区块链密码，零信任与网络安全 |
3 |
张振峰 | ||||
|
17 |
陈华 |
随机数发生器的检测分析：对随机数发生器的熵评估方法、基于深度学习的随机性检测方法、轻量级的后处理算法等方面展开研究，完成高水平科研成果输出。 |
1 |
陈华 | ||||
|
18 |
陈华 |
可证明安全的密码算法实现防护方法：对基于门限技术的抗侧信道攻击防护方法、低代价优化实现等方面展开研究，完成高水平科研成果输出，并推广相关成果在产业界的应用。 |
1 |
陈华 | ||||
|
19 |
夏盟佶 |
计数复杂性：对#CSP、Holant等计数问题集合，以多项式时间可解与#P困难性的标准计算复杂性二分类界限，进行复杂性刻画与二分；此类问题的参数、平面图等版本，以及参数复杂性、指数复杂性、图结构等其他新兴的复杂性二分界限研究。 |
1 |
夏盟佶 | ||||
|
20 |
郑昌文 |
大数据与智能信息处理 |
2 |
郑昌文 | ||||
|
21 |
徐帆江 |
智能信息处理 |
2 |
徐帆江 | ||||
|
22 |
徐静 |
安全协议设计与分析：研究常用基础安全协议、区块链密码协议的设计理论与分析方法，完成高水平科研成果输出。 |
1 |
徐静 | ||||
|
23 |
黄涛 |
分布式软件系统架构方向：面向涌现的新型计算范型，从事分布式软件系统架构的演进和高质量保障方法研究，与企业密切合作，将技术创新落地在智能计算系统、大数据处理系统和工业软件等领域，产生真正用户价值，赋能智能产业，完成高水平科研成果输出。 |
2 |
叶丹 | ||||
|
24 |
韩先培 |
自然语言处理 |
1 |
韩先培 | ||||
合作导师简介见球友会qy网页http://www.is.cas.cn/yjsjy/dsjj/
