83 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Cornell University
Sort by
Refine Your Search
-
Postdoctoral Associate - Sustainable Energy and Synthetic Biology The College of Agriculture and Life Sciences (CALS) is a pioneer of purpose-driven science and Cornell University’s second largest
-
Lab Research 70%; Computer Research 10%; Field/Greenhouse Research 5%; Writing and manuscripts 10% Requirements Required: PhD in Plant Biology, Entomology, Microbiology, or a related field. Experience
-
to five Rose Postdoc awards are made in each cycle, representing different areas of scholarship and outreach. Rose Postdoctoral Associates join the larger Rose Postdoc Program at the Lab of Ornithology
-
others, developing tools to support the creation of the data, and supporting the Math+AI laboratory. We are particularly interested in candidates with experience in Lean or other proof assistant languages
-
Postdoctoral Associate - Plant Pathology and Plant Microbe Biology The College of Agriculture and Life Sciences (CALS) is a pioneer of purpose-driven science and Cornell University’s second largest
-
Postdoctoral Associate — Sexual Dimorphism of Somatic Tissues The College of Agriculture and Life Sciences (CALS) is a pioneer of purpose-driven science and Cornell University's second largest
-
contributed by others, developing tools to support the creation of the data, and supporting the Math+AI laboratory. We are particularly interested in candidates with experience in Lean or other proof assistant
-
Freedom and Free Societies Postdoctoral Associate The Program on Freedom and Free Societies at Cornell University (https://freedomandfreesocieties.cornell.edu/ ) invites applications for a two-year
-
, computer science, and disease ecology. Salary and Benefits: Salary Range: $62,232 -$75,000. This position is eligible for benefits. Postdocs from the Plowright lab have gone on to tenure-track positions in academia
-
, infectious disease ecology, epidemiology or similar fields. This postdoc position will focus on advancing research into interactions among environmental, ecological, sociological, and economic drivers of land