Postdoctoral Fellowship in Computer Science

Harvard University

Area: Programming Languages and Artificial Intelligence (PL+AI)
School: John A. Paulson School of Engineering and Applied Sciences (SEAS)
Department: Computer Science

Position Description

Harvard SEAS invites applications for a Postdoctoral Fellow mentored by Prof. Nada Amin. The fellowship focuses on the intersection of Programming Languages and Artificial Intelligence (PL+AI), particularly verification and large language models (LLMs).

The primary goal is to develop a PL+AI system for verified program synthesis, using the verification-aware programming language Dafny, and co-evolving an LLM with a discovery system for Dafny.

Opportunities also exist to initiate and participate in other PL+AI projects, including applications in precision medicine.

Key Responsibilities:

• Conduct independent and collaborative research, focusing on large-scale co-evolution of discovery systems and LLMs for verified programming.
• Explore applications of PL+AI in precision medicine.
• Disseminate research findings via publications and presentations at leading conferences.
• Mentor junior team members and contribute to scientific discussions.

Position Details:

• Full-time, 1-year fixed-term appointment with possible renewal
• On-site in Greater Boston (Nada Amin’s lab)
• Start date: As soon as possible (flexible)

Basic Qualifications

• Ph.D. in Programming Languages or related field by start date
• Experience in machine learning and formal verification
• Demonstrated track record in scientific research (publications, technical reports, or impactful software projects)

Additional Qualifications

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

Application Instructions

Applicants must submit:

• Curriculum Vitae
• Cover Letter
• Research Statement

References: 2 required

Contact Information:
Prof. Nada Amin
Harvard John A. Paulson School of Engineering and Applied Sciences
4.413 SEC, 150 Western Ave., Allston, MA 02134
Email: namin@seas.harvard.edu

Salary

Range: $67,600 – $91,826
Pay depends on rank, experience, training, field, and accomplishments

Keywords

• Programming Languages
• Artificial Intelligence
• Formal Verification
• Large Language Models

Apply