Sort by
Refine Your Search
-
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
-
Details Title Postdoctoral Fellowship Position in Visual Computing at Harvard University School Harvard John A. Paulson School of Engineering and Applied Sciences Department/Area Computer Sciences
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics School Harvard Medical School Department/Area *** Position Description We invite applicants for a postdoctoral fellow position in
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics School Harvard Medical School Department/Area Biomedical Informatics Position Description Postdoctoral Fellows in Computational
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics School Harvard Medical School Department/Area *** Position Description We invite applicants for a postdoctoral fellow position in
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics (DBMI) School Harvard Medical School Department/Area Biomedical Informatics-Quad Position Description The Department of Biomedical
-
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 HMS - Postdoctoral Fellow in Biomedical Informatics School Harvard Medical School Department/Area Biomedical Informatics Position Description Postdoctoral Fellows in Computational
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics (DBMI) School Harvard Medical School Department/Area Biomedical Informatics-Quad Position Description The Department of Biomedical