265 proof-checking-postdoc-computer-science-logic Fellowship positions at Harvard University
Sort by
Refine Your Search
-
Listed
-
Field
-
across the world. Basic Qualifications Ph.D. in Statistics, Computer Science, Operations Research, or Electrical Engineering at time of appointment is required. The appointment will be for up to three
-
is research excellence and fit with the lab’s focus. More information on the lab’s research is available here . We especially encourage candidates with proven experience in applying computational and
-
/Area Computer Science Position Description Accepting applications for postdoctoral position in Reinforcement Learning, Probabilistic Methods, and/or Interpretability. Information on the lab can be found
-
Fellowship program supports postdoctoral researchers at the Museum of Comparative Zoology (MCZ) at Harvard University to pursue the discovery and formal taxonomic description of Earth’s animal species
-
for postdoctoral appointments who plan to work on AI existential safety research. FIL defines AI existential safety research as: a) research that analyzes the most probable ways in which AI technology could cause
-
. Some areas of particular interest include: genetics, evolutionary biology, neurobiology, developmental biology, and stem cell biology. Our lab uses both experimental and computational approaches
-
computational challenges arising in precision medicine, mental health, and biomedical informatics. The postdoctoral fellow will contribute to projects focused on: Foundation and representation learning
-
Details Title Postdoctoral Fellow in Translation Ovarian Cancer Research School Harvard Medical School Department/Area Harvard Program in Therapeutic Science Position Description We invite
-
Details Title Postdoctoral Fellow in Statistics School Faculty of Arts and Sciences Department/Area Statistics Position Description The Department of Statistics invites applications for a
-
Fellows: Rubin Lab The Rubin lab in Harvard’s Department of Stem Cell and Regenerative Biology has an exciting and broad multiomics program focused on brain aging. Approaches will include experimental and