院系/所/中心

（School）

信息科学技术学院/计算机系

合作导师

（Mentor）

胡振江教授（计算机系主任、欧洲科学院院士、IEEE Fellow、日本软件科学协会学术成就奖）；熊英飞研究员（优青、973青年首席科学家、国家技术发明一等奖获得者）

研究专业/方向

（Department/Area）

软件开发方法/程序设计语言/大数据 软件及支撑环境

年薪标准

（Annual Salary）

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

职位描述

（Position Description）

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

候选人基本条件（

Basic Qualifications）

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

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

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

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

候选人附加条件

(Additional Qualifications)

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

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

申请材料

（Applicant Documents）

发送电子邮件至wangjianjia@pku.edu.cn，邮件主题请注明“应聘博士后-姓名”。

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

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

(3)    2篇代表作及其他能力证明文件，并注明可到岗时间。

联系人

（Contact Information）

王建佳

wangjianjia@pku.edu.cn

备注

（Remark）

初选通过后，一周内邮件通知候选人面试；申请材料恕不退回。面试地点：北京大学计算机系软件研究所

截止时间

（Due Date）

长期有效