Archived on
Harvard SEAS is hiring a
Postdoctoral Fellow
About Harvard SEAS
Harvard SEAS is working on a new project around AI for precision medicine, focusing on combining biomedical knowledge graphs and large language models into a biomedical-fluent core platform, and UI for data-rich programmable systems.
Job Description
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.Location
Greater Boston Area
Salary
Not Specified
Benefits
Not Specified
Tech Tags
DafnyLLM
Date Listed
03 November, 2025 (4 months ago)
Loading...
This job is archived, but you can still apply.
