215 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Princeton University in United States
Sort by
Refine Your Search
-
Listed
-
Field
-
applications from scholars specializing in any area of philosophy. This position is subject to the university background check policy. The work location for this position is in-person at Princeton University
-
Engineering, Computer Science/Engineering, Data Science, or a closely related field *Proficiency in Python or other tools and ML frameworks *Track record of open source contributions or tool development in AI
-
A Postdoctoral Research Associate or more senior research position in computational biology is available in the Pritykin lab at the Lewis-Sigler Institute for Integrative Genomics and the
-
Endowed by the Starr Foundation, the CV Starr Fellowship program supports postdoctoral positions for neuroscientists with exceptional skills and potential. The CV Starr Fellows Program encourages
-
on December 31, 2025. This position is subject to the University's background check policy. Expected Salary Range: $65,000 The University considers factors such as (but not limited to) scope and
-
into their models; or 2.Computational social scientists with experience in empirical research and/or theoretical modeling, who are motivated to incorporate their methods into energy modeling. All applicants must
-
Department of Geosciences PRINCETON UNIVERSITY HARRY HESS FELLOWS PROGRAM The Department of Geosciences at Princeton University announces competition for the 2026-2027 Harry Hess Fellows Program
-
candidates with a background in political science, economics, modern history, sociology, anthropology, law, business, and other disciplines bearing on the study of globalization to apply. The postdoctoral
-
benefit program to eligible employees. Please see this link for more information. Requisition No: D-26-SPI-00007 PI278438849 Create a Job Match for Similar Jobs About Princeton University Princeton
-
, computational fluid dynamics and material science, dynamical systems, numerical analysis, stochastic problems and stochastic analysis, graph theory and applications, mathematical biology, financial mathematics