2,909 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United States
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Princeton University
- University of North Carolina at Chapel Hill
- Rutgers University
- The Ohio State University
- University of Washington
- Stanford University
- Argonne
- Cornell University
- Duke University
- Nature Careers
- Pennsylvania State University
- Stony Brook University
- University of Minnesota
- University of Maryland, Baltimore
- University of Miami
- Oak Ridge National Laboratory
- National Aeronautics and Space Administration (NASA)
- Northeastern University
- Texas A&M University
- Baylor College of Medicine
- Texas A&M AgriLife
- Harvard University
- Carnegie Mellon University
- University of Oregon
- SUNY University at Buffalo
- University of Kentucky
- North Carolina State University
- Massachusetts Institute of Technology
- Indiana University
- The University of Arizona
- University of Florida
- Hamilton College
- University of Nebraska Medical Center
- Emory University
- Loyola University
- University of Kansas
- George Washington University
- Iowa State University
- The University of Iowa
- U.S. Department of Energy (DOE)
- University of Colorado
- Villanova University
- Virginia Tech
- The University of North Carolina at Chapel Hill
- New York University
- Saint Louis University
- University of South Carolina
- University of Texas at Dallas
- University of Virginia
- Zintellect
- University of Houston
- Purdue University
- University of Delaware
- University of Central Florida
- University of Utah
- Washington University in St. Louis
- Auburn University
- Brookhaven National Laboratory
- Michigan State University
- National Renewable Energy Laboratory NREL
- Wayne State University
- Johns Hopkins University
- University of Arkansas
- University of North Texas at Dallas
- University of California, Los Angeles
- University of California, Merced
- University of Nevada, Reno
- University of New Hampshire
- University of North Carolina at Greensboro
- Washington State University
- Binghamton University
- University of California Berkeley
- University of Texas at Arlington
- Yale University
- Brown University
- Central State University
- Kennesaw State University
- Lehigh University
- Massachusetts Institute of Technology (MIT)
- Missouri University of Science and Technology
- Rice University
- SUNY Polytechnic Institute
- University of Kansas Medical Center
- Boise State University
- Boston University
- Lawrence Berkeley National Laboratory
- Montana State University
- University of California
- University of California Irvine
- University of California, San Diego
- University of Connecticut
- University of New Hampshire – Main Campus
- University of Notre Dame
- Vanderbilt University
- Argonne National Laboratory
- Charles University in Prague
- Illinois Institute of Technology
- Marquette University
- South Dakota Mines
- The University of Memphis
- 90 more »
- « less
-
Field
- Biology
- Medical Sciences
- Computer Science
- Science
- Engineering
- Economics
- Chemistry
- Mathematics
- Materials Science
- Psychology
- Environment
- Earth Sciences
- Philosophy
- Humanities
- Social Sciences
- Law
- Physics
- Business
- Education
- Electrical Engineering
- Linguistics
- Arts and Literature
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
to submitting your application, please review and update (if necessary) the information in your candidate profile as it will transfer to your application. Job Title: Postdoc Department: Medicine | IM Medical
-
directions. Postdoctoral scholars will work under the supervision of CODE Director Michael DeGiorgio and will collaborate closely with researchers across the College of Engineering and Computer Science
-
APCTP, Office of Research Support Program ID: APCTP-ORS-POSTDOC [#31612] Program Title: Young Scientist Training(YST) Program 2026 Program Type: Postdoctoral Location: Pohang, Gyeongsangbuk-do 37673
-
guiding new mathematical and algorithmic developments. A Ph.D. in mathematics, physics, computer science, or a closely related area is required. To be considered for the initial review, with an intended
-
, NY, invites applications for a Postdoctoral Associate in Health Systems Engineering (Health Systems Data Analysis, Modeling, Computing, and Cloud-Based Health Systems Analytics and Decision Support
-
or Postdoctoral Scholar: • PhD in Computer Science or related field. All offers of employment are contingent upon successful completion of a background check. The University of Oregon is proud to offer a robust
-
sciences, computer science, machine learning, and education research. Research Themes The research themes identified for the NTO postdoc include, but are not limited to, the following: Developing
-
The Abdus Salam International Centre for Theoretical Physics, Mathematics Group Fellowship ID: ICTP-POSTDOC [#27758] Fellowship Title: Mathematics Postdoctoral Fellowships - 2026 Fellowship Type
-
at Brigham and Women’s Hospital and Harvard Medical School are jointly seeking highly motivated postdoctoral fellows with a passion for computational biology and neurogenomics. The positions offer a minimal
-
, structured data for studying norm evolution in real time. Comparative work across disciplines will complement these analyses. This postdoc will have the opportunity to work at the intersection of Science