Sort by
Refine Your Search
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
the intersection of programming languages and artificial intelligence (PL+AI), in particular verification and large language models. Our main goal is to create a PL+AI system that is the best at verified program
-
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
-
at Harvard University invites applications for a Postdoctoral Fellow position to start in Fall 2025. The lab conducts research related to identity processes, language, group dynamics, and political psychology
-
Details Title Postdoctoral Fellow, Human Flourishing Program, IQSS School Faculty of Arts and Sciences Department/Area Institute for Quantitative Social Science (IQSS) Position Description The Human
-
Details Title Research and Design Studio Fellowship Program School Faculty of Arts and Sciences Department/Area Edmond & Lily Safra Center for Ethics Position Description Since its founding in 1986
-
Details Title Research and Design Studio Fellowship Program School Faculty of Arts and Sciences Department/Area Edmond & Lily Safra Center for Ethics Position Description Since its founding in 1986
-
Details Title Research and Design Studio Fellowship Program School Faculty of Arts and Sciences Department/Area Edmond & Lily Safra Center for Ethics Position Description Since its founding in 1986
-
at Harvard University invites applications for a Postdoctoral Fellow position to start in Fall 2025. The lab conducts research related to identity processes, language, group dynamics, and political psychology