HN Jobs

A searchable index of Hacker News “Who is hiring?” job postings.

← All postings · November 2025 thread

Harvard SEAS

CompanyHarvard SEAS
Websitemetareflection.seas.harvard.edu ↗
LocationGreater Boston Area
Salary—
Apply viaApplication link — https://namin.seas.harvard.edu · namin@seas.harvard.edu
Hiring notes—
TechML/AI
Parsed locationsGreater Boston Area
Posted bynamin
PostedNov 3, 2025
SourceView on Hacker News ↗

Original posting

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.