一、研究室概况

所属院系：北京大学信息科学技术学院计算机科学技术系

研究专业/方向：程序设计语言/程序分析与程序综合/软件开发环境

合作导师：

胡振江教授（计算机系主任、欧洲科学院院士、IEEE Fellow、日本工学会会士）；

熊英飞研究员（优青、973青年首席科学家、国家技术发明一等奖获得者）。

简介：

世界离不开软件，而软件的开发离不开程序设计语言。“软件定义一切”本质上是可编程思想扩张到整个社会和物理世界，是一种以软件实现分层抽象的方式来驾驭复杂性的方法论。随着人机物融合的发展，计算的泛在化成为必然，程序设计语言向下需要对物理世界进行抽象并提供处理物理世界的接口，向上需要能够处理不同场景的多范式的应用编程。泛在计算中不断涌现出的新的计算模式、新的计算平台和新的应用问题给程序设计语言的定义和实现带来了新的挑战。

程序设计语言研究室是2019年4月由北京大学胡振江教授等发起成立。胡振江教授、熊英飞研究员、陈泓婕副教授团队长期从事程序设计语言和软件科学与工程的研究，程序设计语言研究室注重基础研究，研究程序设计语言的设计、实现、验证，及其支撑环境，在自由的氛围中挑战世界难题，创造理论和构建工具。

二、职位描述

本轮招聘拟招募博士后2~3名，主要研究内容是程序开发方法，包括函数式程序设计语言理论与实现、面向领域的模型驱动与双向变换语言、代码自动生成、软件测试与缺陷修复等，参与产学研合作、国际化合作。具体研究方向和内容，主要依托国家重点研发计划 91ExaM.org项目和企业合作，但不局限于这些项目。

三、申请条件

1、候选人基本条件

1）品学兼优、积极乐观，具有良好的沟通和组织协调能力；

2）具有较强的理论基础和独立科研能力；

3）能够保证录用后全职从事博士后研究，不挂职、兼职；

4）博士后聘期为2-3年，达到学校学院考核标准，可申请出站。

2、候选人附加条件

1）年龄不超过35岁，在海内外知名高校获得博士学位不超过三年或将于2020年7月1日前获得博士学位者；

2）以第一作者/通讯作者身份在顶级会议或期刊发表学术论文1篇以上。

四、年薪标准

工资、福利按国家博士后相关规定及北京大学办法执行，视自身条件可考虑申请博雅博士后或“博新计划”等。研究所另外提供有竞争力的项目津贴和绩效，具体待遇面议。

五、申请材料

1、个人详细简历（包括自大学开始至申请时间学习、工作简历、负责/参加的科研项目、发表的论文、申请/获得的专利等）；

2、申请信（描述你为何申请博士后，有何想法和规划）；

3、2篇代表作及其他能力证明文件。

六、招聘程序

1、发送电子邮件至：wangjianjia@pku.edu.cn，邮件主题请注明“应聘博士后-姓名-可到岗时间-91考试网”。

2、初选通过后，一周内邮件通知候选人面试；申请材料恕不退回。