Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence

Details

Posted: Unknown

Location:

Salary:

Summary:

Summary here.

Details

Posted: 08-Nov-25

Location: Cambridge, Massachusetts

Categories:

Academic/Faculty
Other - Academic/Faculty

Internal Number: 15493

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.

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

Special Instructions:

number of references: 2
cover letter, research statement

Equal Opportunity Employer:

Harvard has an equal employment opportunity policy that outlines our commitment to prohibiting discrimination on the basis of race, sex, ethnicity, color, national origin, religion, disability, or any other characteristic protected by law or identified in the university's non-discrimination policy .

Create a Job Match for Similar Jobs
About Harvard University
Harvard University is devoted to excellence in teaching, learning, and research, and to developing leaders in many disciplines who make a difference globally. The University, which is based in Cambridge and Boston, Massachusetts, has an enrollment of over 20,000 degree candidates, including undergraduate, graduate, and professional students. Harvard has more than 360,000 alumni around the world. The University has twelve degree-granting Schools in addition to the Radcliffe Institute for Advanced Study, offering a truly global education. Established in 1636, Harvard is the oldest institution of higher education in the United States.
Connections working at Harvard University
More Jobs from This Employer
https://main.hercjobs.org/jobs/21816521/postdoctoral-fellowship-in-computer-science-programming-languages-and-artificial-intelligence
Return to Search Results