97 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Stanford University
Sort by
Refine Your Search
-
, Manisha Desai, Anna Grummon Stanford Departments and Centers: Pediatrics Postdoc Appointment Term: Initial appointment is 1 year with the expected renewal after the first year for an additional 1-4 years by
-
Biology Stanford Cancer Center Postdoc Appointment Term: Open-ended. Appointment Start Date: ASAP Group or Departmental Website: https://rogala.stanford.edu/ (link is external) How to Submit Application
-
Posted on Mon, 11/24/2025 - 13:32 Important Info Faculty Sponsor First name: Maria Faculty Sponsor Last Name: Polyakova Stanford Departments and Centers: Health Policy Postdoc Appointment Term: One
-
: Pathology Biomedical Data Science Postdoc Appointment Term: 1 year (renewable) Appointment Start Date: As soon as feasible; February 2026 How to Submit Application Materials: Please email the required
-
interdisciplinary scientific evidence. This program is funded by the U.S. Department of Education's Institute of Education Sciences (IES) , grant number R305B220018, and housed at the Stanford Center on Early
-
alongside a team with expertise in flood modeling and collaborators in IIT Bombay. We encourage recent graduates with a PhD or equivalent degree from an epidemiology, biostatistics, data science, computer science
-
: Pediatrics, Gastroenterology, Hepatology, and Nutrition Postdoc Appointment Term: 1 year and renewal will be re-evaluated based on funding and performance. Appointment Start Date: 6/1/2026 Group
-
applications from candidates conducting research in Operations Research, Computer Science, Economics and related fields. Fellows will work with faculty affiliated with the Stanford Center on Computational Market
-
degree (PhD, MD, or equivalent) or Master’s degree in a relevant field (e.g., Computer Science, Biomedical Engineering, Public Health, Surgery) Experience in clinical research, data analysis, or machine
-
in human biology and evolution, our work seeks to uncover the molecular logic underlying human-specific neuronal differentiation and synaptic connectivity and to translate these insights