352 proof-checking-postdoc-computerscience Postdoctoral positions in computer-science in United States
Sort by
Refine Your Search
-
Listed
-
Employer
- The Ohio State University
- Pennsylvania State University
- Carnegie Mellon University
- Oak Ridge National Laboratory
- University of Washington
- National Energy Technology Laboratory (NETL)
- The University of Arizona
- Yale University
- University of Florida
- Argonne
- Cornell University
- Massachusetts Institute of Technology
- SUNY University at Buffalo
- Rutgers University
- U.S. Department of Energy (DOE)
- University of Maryland, Baltimore
- University of Oregon
- Harvard University
- Texas A&m Engineering
- University of California
- Lehigh University
- New York University
- Princeton University
- University of North Carolina at Chapel Hill
- Zintellect
- Northeastern University
- Rochester Institute of Technology
- University of Arkansas
- University of California, Los Angeles
- University of California, Merced
- University of Nevada, Reno
- Washington University in St. Louis
- Wayne State University
- Kennesaw State University
- Missouri University of Science and Technology
- St Jude Children's Research Hospital
- Stony Brook University
- University of California Irvine
- University of Houston
- University of Idaho
- University of Illinois Chicago
- University of Miami
- University of Minnesota
- University of Nevada Las Vegas
- Baylor College of Medicine
- Duke University
- Indiana University
- Iowa State University
- James Madison University
- Lawrence Berkeley National Laboratory
- Massachusetts Institute of Technology (MIT)
- Memorial Sloan Kettering Cancer Center
- Michigan Technological University
- Research Center for Molecular Medicine (CeMM), ÖAW
- Syracuse University
- University of Delaware
- University of Illinois at Chicago
- University of Kansas Medical Center
- University of Kentucky
- University of Maryland
- University of Michigan
- University of Michigan - Ann Arbor
- University of North Carolina Wilmington
- University of Pittsburgh, Pittsburgh , Pennsylvania, US
- University of Southern California - Center for Craniofacial Molecular Biology
- University of Vermont
- University of Virginia
- Vanderbilt University
- Villanova University
- Washington State University
- Yeshiva University
- 61 more »
- « less
-
Field
-
(For postdocs, use [email protected] ) with the position title and number referenced in the subject line. Instructions to upload documents to your candidate profile: Login to your account via
-
of fetus hypoxia and prevent the adverse effects. The postdoc researcher will be advised by Prof. Chamanzar and will work with a large interdisciplinary team of engineers, scientists and physicians
-
. Responsibilities: Conduct research on automated reasoning and proof checker, AI-assisted collaboration. Develop and analyze algorithms for learning and optimization. Participate in collaborative research projects
-
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-Postdoc-2024-Guthrie How to Apply A complete application consists of: An application, including academic history, work
-
National Energy Technology Laboratory (NETL) | Morgantown, West Virginia | United States | about 8 hours ago
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-Postdoc-2026-McIntyre-2 How to Apply A complete application consists of: An application, including academic history
-
National Energy Technology Laboratory (NETL) | Morgantown, West Virginia | United States | about 8 hours ago
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-Postdoc-2026-Seol How to Apply A complete application consists of: An application, including academic history, work
-
National Energy Technology Laboratory (NETL) | Pittsburgh, Pennsylvania | United States | about 8 hours ago
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-Postdoc-2026-Gamwo How to Apply A complete application consists of: An application, including academic history, work
-
National Energy Technology Laboratory (NETL) | Morgantown, West Virginia | United States | about 1 month ago
Organization National Energy Technology Laboratory (NETL) Reference Code NETL-Postdoc-2026-Guenther How to Apply A complete application consists of: An application, including academic history, work
-
. Selected candidates must provide proof of current enrollment or degree completion at the time of selection. Resume: Resumes should include academic history, employment history, and relevant experience(s
-
De Graef’s group in the Materials Science and Engineering Department in the College of Engineering. The postdoc will make use of the experimental and computational tools in the Materials