软件所2023年博士后招收计划

文章来源:  |  发布时间:2023-02-20  |  【打印】 【关闭

  

  中国科学院软件研究所(以下简称“软件所”)成立于1985年,是一所致力于计算机科学理论和软件高新技术的研究与发展的综合性基地型研究所。1991年经国家批准开始招收博士后研究人员(以下简称“博士后”),现有计算机科学与技术、软件工程两个一级学科博士后科研工作流动站。根据工作需要,现面向海内外公开招收博士后研究人员。具体招收计划如下(按照导师姓氏笔画排序):

序号

合作导师

 研究方向及主要研究内容

招收人数

联系人及其邮件地址

 一、软件工程博士后流动站

1

 

智能软件工程方向:从事复杂环境下人机物融合的软件制品智能理解,群体协作的智能化支持、质量数据的自动分析、以及测试自动化技术研究,完成高水平科研成果输出,不断扩大相关领域研究在学术界和产业界的影响力,并推广相关产业化工作。

2

王丹丹

dandan@iscas.ac.cn

2

邓小明

机械手灵巧操作生成方向:从事人手跟踪、抓取生成、强化学习的前沿算法和系统研究,具有人体或人手运动控制、机械手操作生成等研究经验者优先,与海内外著名实验室密切合作,完成高水平科研成果。

1

邓小明

xiaoming@iscas.ac.cn

3

 

智能化软件系统工程,面向复杂软件的互操作技术。

2

左春

zuochu@sinosoft.com.cn

4

 

1、笔式草图智能理解方向:面向公式、图表等手绘草图输入场景,研究基于草图的复杂结构信息输入、理解和绘制算法,拓宽笔式应用的场景与应用领域。产出软件系统,推动相关技术产业落地;

2、智能人机交互用户体验计算与信息处理方向:从事用户体验感知与智能信息处理方法研究,创新性地利用人工智能相关技术分析处理人机交互过程中的交互数据,提高人机交互过程中的用户体验,辅助应用在AI健康医疗、数字交互、人机协同等前沿领域,发表高水平学术论文。

2

田丰

tianfeng@iscas.ac.cn

5

刘立祥

智能信息处理与应用。

2

杨科

yangke21@iscas.ac.cn

6

 

韩先培

自然语言处理方向:从事信息抽取、知识图谱、自然语言理解等的前沿算法研究,完成高水平科研成果输出(CCF-A类或CCF-B类论文);与互联网企业开展合作,将前沿技术创新落地,赋能智能产业;积极申报国家级科研项目;参与人才培养工作,协助指导博士及硕士研究生。

专业要求:在自然语言处理领域以第一作者发表过顶级会议论文或取得有一定影响的成果(如软件工具、应用系统等)并且主持或参与国家级项目者优先。

2

孙乐

lesunle@163.com

韩先培

xianpei@iscas.ac.cn

7

苏璞睿

1、程序分析基础方法:研究二进制逆向、污点传播、符号执行等程序分析技术,提高现有方法的分析能力,支持实际复杂程序的分析需求,形成高水平科研成果;

2、漏洞挖掘、分析与利用:针对Windows、Linux、IoT设备等不同场景的漏洞进行挖掘、分析和利用,产出实际程序的软件漏洞,并对漏洞机理、可利用性等方面进行分析,形成高水平科研成果和工具平台。

2

苏璞睿

purui@iscas.ac.cn

8

 

智能计算系统,智能处理器编程模型,RISC-V基础软件。

1

李玲

liling@iscas.ac.cn

9

吴玉泉

大数据与智能信息处理。

2

杨科

yangke21@iscas.ac.cn

10

吴国全

云原生架构智能运维方向:针对云原生架构的系统层次和应用层次,开展可观测性、运维逻辑智能合成与可靠性检测等前沿技术的研究,完成高水平科研成果输出,不断扩大相关领域研究在学术界和产业界影响力,并推广相关产业化工作。

1

吴国全

gqwu@otcaix.iscas.ac.cn

11

吴敬征

开源软件供应链安全:从事开源软件供应链安全研究工作,代码表示及缺陷挖掘,利用漏洞图谱对开源软件供应链的安全风险、维护性风险及知识产权风险进行分析研究。

1

吴敬征

jingzheng08@iscas.ac.cn 

12

张凤军

图数据库与智能可视分析:涉及传染病、金融数据的可视分析技术研究。

2

张凤军

fengjun@iscas.ac.cn

13

武延军

智能基础软件:面向RISC-V芯片和AI芯片的操作系统内核、编译工具链、运行时环境、编程框架等。

2

武延军

yanjun@iscas.ac.cn

14

郑昌文

大数据与智能信息处理。

2

杨科

yangke21@iscas.ac.cn

15

 

智能基础理论:研究智能计算的可解释、可计算、可进化和人机深度融合问题。

2

张立波

libo@iscas.ac.cn

16

徐帆江

智能任务规划及评估。

2

杨科

yangke21@iscas.ac.cn

17

窦文生

分布式系统与数据库系统可靠性方向:从事分布式系统、数据库系统等基础软件可靠性保障的前沿技术研究,研发面向基础软件的新型软件测试、形式化验证、系统优化及相关融合技术,完成高水平科研成果输出,并与头部企业密切合作,不断扩大相关领域研究在产业界的影响力。

1

窦文生

wensheng@iscas.ac.cn

18

 

1、软件测试:并发系统分析与测试;

2、软件安全:设计软件安全分析与测试方法、设计安全软件保障方法;

3、自动驾驶:研究自动驾驶测试方法、测试场景数据生成等。

1-3

蔡彦

yancai@ios.ac.cn

19

 

智能软件工程方向:从事AI4SE,特别是强化学习、LLM等深度学习模型与传统AI方法结合的前沿研究工作,与软件建模、编程、测试、部署等各方面紧密结合,在军事、智能制造、智能家居、自动驾驶等领域,产生真正用户价值,赋能智能产业,完成高水平科研成果输出。

2

魏峻

weijun@iscas.ac.cn

二、计算机科学与技术博士后流动站
1 马翠霞 基于认知的智能交互方向从事人机协同交互场景中融合多模态数据针对人认知状态实时评价、调控及交互技术研究,主要涉及认知理论、交互技术和领域应用,旨在提升人机协同效能。完成高水平科研成果输出,扩大相关研究在学术界和产业界的影响力。与头部企业密切合作,促进相关成果快速落地。 1
马翠霞
cuixia@iscas.ac.cn

2

王宏安

实时智能交互方向:从事实时智能计算和自然人机交互的基础理论、前沿技术研究,在人机混合智能等领域完成高水平科研成果输出,与头部企业密切合作,推动产业界提升hCPS实时性、智能性、自然性等。

1

王宏安

hongan@iscas.ac.cn

3

 

1、新型人机交互基础理论和模型方向:研究新型交互情境下的用户感知、认知与行为模式,构建人机交互认知与运动模型;探索交互意图理解方法,设计智能交互辅助技术;进行深入理论探索,发表高水平学术论文;

2、自然交互感知方向:从事智能感知技术,研究新型交互感知技术,包括柔性电子、信号处理、机器学习算法等;面向自然交互场景,搭建系列智能交互设备,研究基于场景-行为的意图理解技术;发表高水平学术论文,推动相关技术产业落地。

2

田丰

tianfeng@iscas.ac.cn

4

冯登国

网络空间安全方向:从事可信计算、机密计算、密码学、安全协议、数据安全、隐私保护、6G安全等前沿技术研究。

2

秦益

qinyi@iscas.ac.cn

5

冯登国

系统安全。

2

张颖君

yingjun2011@iscas.ac.cn

6 刘立祥 智能信息处理与应用。 2
杨科
yangke21@iscas.ac.cn

7

 

韩先培

自然语言处理方向:从事信息抽取、知识图谱、自然语言理解等的前沿算法研究,完成高水平科研成果输出(CCF-A类或CCF-B类论文);与互联网企业开展合作,将前沿技术创新落地,赋能智能产业;积极申报国家级科研项目;参与人才培养工作,协助指导博士及硕士研究生。
专业要求:在自然语言处理领域以第一作者发表过顶级会议论文或取得有一定影响的成果(如软件工具、应用系统等)并且主持或参与国家级项目者优先。

2

孙乐

lesunle@163.com

韩先培

xianpei@iscas.ac.cn

8

李会元

E级高性能算法与软件:开展国产异构E级高性能计算机系统上的高可扩展异步并行算法的前沿基础研究,重点围绕第一性原理计算、大气与气候模式、流体力学等领域开展格式构造、算法设计、与软件研制与优化,实现高水平科研输出。

1

李会元

huiyuan@iscas.ac.cn

9

吴玉泉

大数据与智能信息处理。

2

杨科

yangke21@iscas.ac.cn

10

张立军

1、熟悉机器学习算法,开展迁移学习、算法设计、平台开发,及验证分析相关工作,将前沿技术创新落地在自动驾驶、AI健康医疗等前沿领域;

 

2、熟悉Linux内核,或者虚拟机相关技术,开展操作系统内核、hypervisor的测试和验证相关工作,完成高水平科研成果输出。

2

张立军

zhanglj@ios.ac.cn

11

张振峰

后量子密码,区块链共识系统,数据安全。

3

陈隆

chenlong@iscas.ac.cn

12

张常有

1、并行与分布式技术:从事异构体系架构下的并行算法研发,或者面向特定领域的分布式系统研发等;具备结构有限元分析/仿真云计算系统研发/分布式智能系统经验者优先;

 

2、数据智能技术:从事数据驱动的人工智能技术方法研究,在时序数据分析、大规模图模型等方面开展研究工作,有工业数据分析/自然语言处理等经验者优先。

3

张常有

changyou@iscas.ac.cn

13

郑昌文

大数据与智能信息处理。

2

杨科

yangke21@iscas.ac.cn

14

夏盟佶

张量网络,算法与计算复杂性。

1

夏盟佶

mingji@ios.ac.cn

15

徐帆江

智能任务规划及评估。

2

杨科

yangke21@iscas.ac.cn

16

 

触觉交互研究方向:研究面向触觉界面的柔性电子设备的设计与制作及驱动开发,主要涉及对触觉感知机制的理解与探索,对先进的材料、机械结构、加工工艺的应用,分析设备的材料、机械、和电学性能,解决多通道、高电压、高频率的软件与硬件设计,推动发展通用的触觉驱动软硬件平台,输出高水平科研成果。

1

韩腾

hanteng@iscas.ac.cn

17

詹乃军

信息物理融合系统:研究数据驱动和基于模型的复杂信息物理融合系统设计理论和开发环境。

1-3

王淑灵

wangsl@ios.ac.cn

18

蔡少伟

1、约束求解:整数规划、约束满足问题(CSP);

 

2、大模型机器学习应用:基于大模型的自动建模和自动算法工程;

 

3、电子设计自动化:逻辑综合、形式化验证。

1-3

蔡少伟

caisw@ios.ac.cn

19

 

安全强化学习,控制系统形式设计。

1

薛白

xuebai@ios.ac.cn

 

合作导师简介见软件所网页http://www.is.cas.cn/yjsjy2016/dsxx/