Ⅰ  About the Research Group

The Programming Language Lab at Peking University, founded by Prof. Zhenjiang Hu in 2019, aims to advance the frontiers of programming languages and software systems through deep, impactful research, addressing the most pressing and emerging challenges in software reliability, scalability, and developer productivity. Our research is led by an ambitious team of award-winning faculties:

• Zhenjiang Hu
  Full Professor, Dean of School of Computer Science, Member of the European Academy of Sciences, IEEE Fellow, Member of the Engineering Academy of Japan
  Website: https://zhenjiang888.github.io/
  Areas: functional programming, bidirectional transformation, proof-oriented programming

• Yingfei Xiong
  Associate Professor with Tenure, ACM Distinguished Member, CCF-IEEE CS Young Computer Scientists Award
  Website: https://xiongyingfei.github.io/
  Areas: program synthesis / repair / verification / analysis, AI for code

• Hongjie Chen
  Associate Professor
  Website: https://cs.pku.edu.cn/info/1210/1965.htm
  Areas: software modeling, software engineering supporting environment, service-oriented computing

• Xin Zhang
  Assistant Professor, SIGPLAN/SIGSOFT Distinguished Paper Awards
  Website: https://xinpl.github.io/
  Areas: ML for program analysis, explainable AI

• Di Wang
  Assistant Professor, NSFC Excellent Youth Scientist
  Website: https://stonebuddha.github.io/
  Areas: resource-safe system programming, programmable Bayesian inference, quantitative program analysis, and proof-oriented programming languages

• Sergey Mechtaev

  Assistant Professor, NSFC Excellent Youth Scientist, ACM SIGSOFT Outstanding Doctoral Dissertation Award, SIGSOFT Distinguished Paper Awards

  Website: https://mechtaev.com

  Areas: program repair, program analysis, AI for code

Ⅱ  Job Description

We are currently seeking full-time postdoctoral researchers to join our team. We welcome applicants with strong backgrounds in areas such as program analysis, programming language design, program synthesis, or AI for code, among other related fields. As a member of our team, you will conduct world-class research aligned with the strategic directions of our lab, and collaborate with leading research groups and industry partners both in China and internationally.

Ⅲ  Requirements for Candidates

1) A PhD degree from a reputable university;

2) Solid publication record in programming languages, software engineering or artificial intelligence, including at least one top-conference or journal publication as the first/corresponding author;

3) Willingness to learn and a commitment to continuous improvement;

4) Strong ethical standards and integrity;

5) The postdoctoral employment will last 2-3 years.

Ⅳ  Salary

Our lab offers comprehensive resources to support your work, including:

1) Competitive salary and benefits in accordance with Peking University regulations;

2) Additional funding for travel, conferences, and research materials;

3) Personalized mentorship and personal development opportunities;

4) For international researchers, visa assistance and support with relocation.

Additionally, outstanding candidates are invited to apply for the prestigious Boya Postdoctoral Fellowship, which provides extra benefits comparable to an assistant professor and support to further advance your career.

Ⅴ  Application Materials

1) Detailed resume (including education and working experiences from the start of undergraduate to the time of application, research projects in charge / participated in, publications, patents, etc.).

2) Cover letter (describing why you applied to the postdoctoral program, and what your career plans are).

3) 2 representative publications.

Ⅵ  Recruitment Process

1. Email to: wangjianjia@pku.edu.cn. Please title the email with "Applying for Postdoc - <your name> - <preferred start time>".

2. After the materials have been reviewed, qualified candidates will receive the interview invitation by email within one week. The application materials will not be returned.

3. Applicants are encouraged to reach out to a faculty from our lab whose research aligns with their interests to discuss concrete research directions.