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
-
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 The Farhat Lab in the Department of Biomedical Informatics is
-
contact information for three references. The CfA hosts a strong research program in astrophysics and provides a stimulating environment. Special Instructions Letters of reference should be submitted by
-
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
-
contact information for three references. The CfA hosts a strong research program in astrophysics and provides a stimulating environment. Special Instructions Letters of reference should be submitted by
-
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
-
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
-
Genomics at Harvard Medical School Several positions are available in the Park Lab (https://compbio.hms.harvard.edu/ ). The aim of the laboratory is to develop and apply innovative computational methods
-
Details Title HMS - Postdoctoral Fellow in Biomedical Informatics School Harvard Medical School Department/Area Position Description The Farhat Lab in the Department of Biomedical Informatics is