Postdoctoral Fellowship in Computer Science
Harvard University
United States
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.
In your application, please refer to Polytechnicpositions.com
