Postdoctoral Fellowship in Computer Science
Listed on 2026-01-13
-
Software Development
Data Scientist, AI Engineer, Machine Learning/ ML Engineer
Postdoctoral Fellowship in Computer Science United States
Area: Programming Languages and Artificial Intelligence (PL+AI)
School: John
A. Paulson School of Engineering and Applied Sciences (SEAS)
Department: Computer Science
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.
Full-time, 1-year fixed-term appointment with possible renewal
Start date:
As soon as possible (flexible)
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 QualificationsInterest in applying programming language theory to chemistry, biology, and precision medicine
Application InstructionsApplicants must submit:
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: naminvard.edu
Range: $67,600 – $91,826
Pay depends on rank, experience, training, field, and accomplishments
KeywordsProgramming Languages
Equal Employment Opportunity / Non-Discrimination StatementHarvard 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 this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).