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.
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.
