Posted: 25 August 2026 - Cambridge, United States of America
The Amin lab at Harvard SEAS is looking for a postdoctoral fellow to develop new training and inference approaches for verified programming. The role includes conducting independent and collaborative research, disseminating findings through publications and conferences, and mentoring junior team members. Applicants must have a PhD and an interest in programming languages, verification, AI, or machine learning. This is a full-time, in-person position in the Greater Boston area, with a salary range of $67,600 – $91,826 based on experience and qualifications.