147 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Princeton University in United States
Sort by
Refine Your Search
-
both research groups. The Atkinson lab focuses on using protein engineering, electrochemistry, and synthetic biology approaches to control gene expression and metabolism in microbes. The Avalos lab
-
Postdoctoral and more senior research positions are available in biological, inorganic, materials, organic, physical, theoretical, and computational chemistry. The Term of appointment is based
-
before the deadline so that references can be submitted in a timely manner. This position is subject to the University's background check policy. The work location for this position is in-person on campus
-
The Rosen Research Group at Princeton University (https://rosen.cbe.princeton.edu) is searching for a postdoctoral or more senior researcher interested in computational materials design and
-
specific plans and goals for advancing equity and inclusion if hired as a Princeton postdoc, and contact information for three references. This position is subject to the University's background check policy
-
biology, conservation genomics, and population genomics of admixture, introgression, and species concepts for North American canid species. This research is in collaboration with Colossal Foundation, a non
-
integrates basic research, applied research, and societal engagement, enabling distinctive impact, both academic and societal. In this context, we welcome applicants from diverse backgrounds such as computer science
-
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
-
Library and to a wide range of activities throughout the University. This position is subject to the University's background check policy. Appointments are for one year. Applicants cannot be in the process
-
differential equations, computational fluid dynamics, material science, dynamical systems, numerical analysis, stochastic analysis, graph theory and applications, mathematical biology, financial mathematics