1 computer-programmer-"https:"-"FEMTO-ST" "Prof" Fellowship positions at Harvard University

Postdoctoral Fellowship in Computer Science - Programming Languages and Artificial Intelligence

Harvard University | Cambridge, Massachusetts | United States | about 2 months ago

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