Postdoctoral Fellowship in Computer Science

Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence Title Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence 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. 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. Work full‑time in a fixed duration of 1 year, with possible renewal. Applicants must reside in, or be willing to relocate to, the Greater Boston area; the position is in‑person with space in Nada Amin’s lab. Position can begin as soon as possible; exact date to be determined. Basic Qualifications: PhD related to programming languages by the start date. Experience in machine learning and formal verification. Demonstrated track record in scientific research evidenced through publications, technical reports, or impactful software projects. Additional Qualifications: Interest in applying programming language theory to chemistry, biology, and precision medicine. Special Instructions: number of references: 2. Cover letter, research statement. Contact Information Prof. Nada AminHarvard John A. Paulson School of Engineering and Applied Sciences4.413 SEC150 Western Ave., Allston, MA 02134Contact Email: namin@seas.harvard.edu Salary Range $67,600 – $91,826. Pay offered to the selected candidate is dependent on factors such as rank, years of experience, training or qualification, field of scholarship, and accomplishments in the field. Minimum Number of References Required 2 Keywords programming language theorychemistry, biology, and precision medicine EEO/Non-Discrimination Commitment Statement Harvard University is committed to equal opportunity and non-discrimination. We seek talent from all parts of society and the world, and we strive to ensure everyone at Harvard thrives. Our differences help our community advance Harvard’s academic purposes. Harvard has an equal employment opportunity policy that outlines our commitment to prohibiting discrimination on the basis of race, ethnicity, color, national origin, sex, sexual orientation, gender identity, veteran status, religion, disability, or any other characteristic protected by law or identified in the university’s non-discrimination policy. Harvard’s equal employment opportunity policy and non-discrimination policy help all community members participate fully in work and campus life free from harassment and discrimination. Supplemental Questions Required fields are indicated with an asterisk (*). #J-18808-Ljbffr