| ▲ | namin 3 days ago | |
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 | parent | next [-] | |
If I had finished grad school and were still in Boston I’d totally want to do this ! | ||
| ▲ | eli_gottlieb 2 days ago | parent | prev [-] | |
Harvard isn't frozen anymore? | ||