Harvard SEAS | https://metareflection.seas.harvard.edu and https://namin.seas.ha... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		namin 3 days ago \| parent \| context \| favorite \| on: Ask HN: Who is hiring? (November 2025) Harvard SEAS \| https://metareflection.seas.harvard.edu and https://namin.seas.harvard.edu \| Postdoctoral Fellow \| Greater Boston Area \| ONSITE I am looking for a postdoctoral fellow interested in the intersection of programming languages and artificial intelligence, 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. Please contact me at namin@seas.harvard.edu if interested. Include a CV and GitHub link.

carterschonwald 3 days ago | [–]

If I had finished grad school and were still in Boston I’d totally want to do this !

eli_gottlieb 3 days ago | [–]

Harvard isn't frozen anymore?

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact