Postdoc: Verified Programming & AI for Precision Medicine

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

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.