Postdoctoral Fellowship in Computer Science

Harvard University; Boston (MA); On-site; USD 68,000 - 92,000; Full time

Job summary

Harvard University in the Greater Boston area invites applications for a Postdoctoral Fellowship in Computer Science. The selected candidate will be mentored by Prof.

Nada Amin in her lab at Harvard SEAS, working on training and inference methods for verified programming with potential applications in precision medicine. Core responsibilities include conducting independent and collaborative research, publishing results at conferences, and mentoring junior team members.

Qualifications

• PhD required.
• Experience/interest in programming language, verification, artificial intelligence or machine learning.
• Individuals with a demonstrated track record in scientific research, evidenced by publications, technical reports, or impactful software projects.

Responsibilities

• Conduct independent and collaborative research.
• Disseminate research findings through academic publications and presentations at leading conferences.
• Provide mentorship to junior team members and contribute to the scientific discourse.

Skills

Programming languages

Formal verification

AI / ML

Publications

Education

PhD required

Job description

Postdoctoral Fellowship in Computer Science

Title Postdoctoral Fellowship in Computer Science

School

School Harvard John A. Paulson School of Engineering and Applied Sciences

Department/Area

Department/Area Computer Science

Position Description

Postdoctoral Fellowship in Computer Science in Amin lab
Prof. Nada Amin is looking for a postdoctoral fellow, who will be mentored by her at Harvard SEAS . The goal is to develop new training and inference approaches for verified programming. Additionally, there would be opportunities to apply the work in precision medicine.
Core Responsibilities:

• Conduct independent and collaborative research.
• Disseminate research findings through academic publications and presentations at leading conferences.
• Provide mentorship to junior team members and contribute to the scientific discourse.

This fellowship is full-time and has a fixed duration of 1 year, with possible renewal.

Applicants must reside in, or be willing to relocate to, the Greater Boston area. This is an in-person position and you will have space in Nada Amin’s lab.

Basic Qualifications

PhD. required.

Additional Qualifications

Experience/interest in programming language, verification, artificial intelligence or machine learning.

Individuals with a demonstrated track record in scientific research, which can be evidenced through publications, technical reports, or impactful software projects.

Contact Information

Contact Email

Contact Email [e-mail]

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

Minimum Number of References Required 2

Maximum Number of References Allowed

Keywords

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 (*).