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 Equal Employment Opportunity / Non-Discrimination Statement Harvard University is committed to equal opportunity and non-discrimination. We seek talent from all backgrounds and aim to ensure all community members thrive. Harvard prohibits discrimination based on race, ethnicity, color, national origin, sex, sexual orientation, gender identity, veteran status, religion, disability, or any other protected characteristic. If you apply for this position please say you saw it on Computeroxy

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

Equal Employment Opportunity / Non-Discrimination Statement

Harvard University is committed to equal opportunity and non-discrimination. We seek talent from all backgrounds and aim to ensure all community members thrive. Harvard prohibits discrimination based on race, ethnicity, color, national origin, sex, sexual orientation, gender identity, veteran status, religion, disability, or any other protected characteristic.

If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs