一、研究室概况

北京大学编程语言实验室由胡振江教授于2019年创立，致力于通过深度且具有影响力的研究推动编程语言与软件系统的前沿发展，应对软件可靠性、可扩展性及开发者效率等领域亟待解决的新挑战。实验室由一支富有抱负的获奖教师团队领导：

    胡振江
    教授，计算机学院院长，欧洲科学院院士，IEEE会士，日本工程院外籍院士
    个人主页：https://zhenjiang888.github.io/
    研究方向：函数式编程、双向变换、面向证明的编程

    熊英飞
    长聘副教授，ACM杰出会员，CCF-IEEE CS青年科学家奖获得者
    个人主页：https://xiongyingfei.github.io/
    研究方向：程序合成/修复/验证/分析、代码智能

    陈洪捷
    副教授
    个人主页：https://cs.pku.edu.cn/info/1210/1965.htm
    研究方向：软件建模、软件工程支撑环境、面向服务计算

    张昕
    助理教授，SIGPLAN/SIGSOFT杰出论文奖获得者
    个人主页：https://xinpl.github.io/
    研究方向：程序分析中的机器学习、可解释人工智能

    王迪
    助理教授，国家优秀青年科学基金获得者
    个人主页：https://stonebuddha.github.io/
    研究方向：资源安全的系统编程、可编程贝叶斯推理、定量程序分析、面向证明的编程语言

    Sergey Mechtaev
    助理教授，国家优秀青年科学基金获得者，ACM SIGSOFT杰出博士论文奖、SIGSOFT杰出论文奖获得者
    个人主页：https://mechtaev.com
    研究方向：程序修复、程序分析、代码智能

二、职位描述

现公开招聘全职博士后研究人员。欢迎在程序分析、编程语言设计、程序合成、代码智能等相关领域具有扎实背景的申请人加入。入选者将围绕实验室战略方向开展世界级研究，并与国内外顶尖研究团队及行业伙伴展开合作。

三、申请条件

    1. 已获得国内外知名高校博士学位；

    2. 在编程语言、软件工程或人工智能领域具有扎实的发表记录，至少以第一作者或通讯作者身份发表过一篇顶级会议或期刊论文；

    3. 具备持续学习与自我提升的意愿；

    4. 恪守学术道德，诚信严谨；

    5. 博士后聘期为2-3年

四、年薪标准

    实验室将提供全面支持：

    1. 具有竞争力的薪酬福利（按北京大学标准执行）；

    2. 额外资助国际会议差旅与科研材料费用；

    3. 个性化导师指导与职业发展支持；

    4. 为外籍研究者提供签证办理与搬迁协助。特别优秀者可申请"博雅博士后"项目，享受与助理教授相当的额外福利及职业发展资源。

五、申请材料

1. 详细简历（含本科起至今的教育工作经历、主持/参与科研项目、发表成果、专利等）；

2. 求职信（阐述申请动机与职业规划）；

3. 2篇代表性论文。

六、招聘程序

1. 请发送申请至：wangjianjia@pku.edu.cn，邮件标题注明"博士后申请-姓名-预计到岗时间"；

2. 材料审核通过者一周内邮件通知面试，申请材料恕不退还；

3. 建议申请人提前联系研究方向契合的实验室教师沟通具体研究计划。