153 computer-programmer-"Diamond-Light-Source"-"Diamond-Light-Source" Fellowship positions at Harvard University
Sort by
Refine Your Search
-
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 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 Weatherhead Scholars Program Postdoctoral Fellowship in International Affairs School Faculty of Arts and Sciences Department/Area Weatherhead Center for International Affairs Position
-
Details Title Weatherhead Scholars Program – Moulay Hicham Alaoui Postdoctoral Fellowship in Climate and Environmental Studies School Faculty of Arts and Sciences Department/Area Weatherhead Center
-
Details Title Postdoctoral Fellow in On-Premise Computing for Autonomous Vehicles (Computer Architecture, Machine Learning and Runtime Systems) School Harvard John A. Paulson School of Engineering
-
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 Weatherhead Scholars Program – Sang Kee Kim Postdoctoral Fellowship in International Affairs of East and Southeast Asia School Faculty of Arts and Sciences Department/Area Weatherhead
-
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
-
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