美国哈佛大学2025年计算机科学博士后招聘（编程语言与人工智能）

Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence

Harvard University

in Cambridge, MA

Type: Full-Time

Salary: $67,600 - $91,826 per year

Posted: 11/07/2025

Category: Computer Science; +1

School: Harvard John A. Paulson School of Engineering and Applied Sciences

Department/Area: Computer Science

Position Description

We're looking for a postdoctoral fellow who will be mentored by Prof. Nada Amin at Harvard SEAS. The postdoctoral fellow should be interested in the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models.

Our main goal is to create a PL+AI system that is the best at verified program synthesis. We will use the verification-aware programming language Dafny and co-evolve an LLM and a discovery system for Dafny.

Beyond this project, there will be opportunities to initiate and join other projects in PL+AI, in particular with applications to precision medicine.

Core Responsibilities:

Conduct independent and collaborative research, focusing on large-scale co-evolution of discovery systems and large language models for verified programming.

Additional possibility to explore applications of PL+AI in precision medicine.

Disseminate research findings through academic publications and presentations at leading conferences.

Provide mentorship to junior team members and contribute to the scientific discourse.

This fellowship is full-time and has a fixed duration of 1 year, with possible renewal.

Applicants must reside in, or be willing to relocate to, the Greater Boston area. This is an in-person position - you will have space in Nada Amin's lab.

The position can begin as soon as possible, with the exact date to be determined.

Basic Qualifications

A PhD related to programming languages by the start date.

Experience in machine learning and formal verification.

Individuals with a demonstrated track record in scientific research, which can be evidenced through publications, technical reports, or impactful software projects.

Additional Qualifications

Interest in applying programming language theory to chemistry, biology, and precision medicine.

Special Instructions

number of references: 2

cover letter, research statement

Contact Information

Prof. Nada Amin

Harvard John A. Paulson School of Engineering and Applied Sciences

4.413 SEC

150 Western Ave., Allston, MA 02134

Contact Email: namin@seas.harvard.edu

Salary Range

$67,600 - $91,826

Pay offered to the selected candidate is dependent on factors such as rank, years of experience, training or qualification, field of scholarship, and accomplishments in the field.

Minimum Number of References Required: 2

Keywords

programming language theory

chemistry, biology, and precision medicine

We are an equal opportunity employer and all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, national origin, disability status, protected veteran status, or any other characteristic protected by law.

更多最新博士后招聘信息请关注博士后招聘网微信公众号（ID：boshihoujob）

祝君：学业有成，学成归来。

邮件申请时请标题注明信息来自博士后招聘网-boshihoujob.com，电话咨询时说明从博士后招聘网(www.boshihoujob.com)看到的博士后招聘信息。

声明：凡本网注明“来源：XXX”的文/图等稿件，本网转载出于传递更多信息及方便产业探讨之目的，并不意味着本站赞同其观点或证实其内容的真实性，文章内容仅供参考。如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任。作者如果不希望被转载或者联系转载等事宜，请与我们联系。邮箱：boshihoujob@163.com。