38 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory in United States
Sort by
Refine Your Search
-
science, computer science, computer engineering, electrical engineering, and optical engineering, and frequently collaborates with partners in industry, academia, and other government organizations
-
measure success. Basic Qualifications: A PhD in Materials Science and Engineering or a related field completed within the last 5 years Preferred Qualifications: Strong background in computational and image
-
Requisition Id 14702 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
Requisition Id 15028 Overview: We are seeking a Postdoctoral Research Associate – Chemical Engineering to support research activities within the Isotope Applications Research Group (IARG) at Oak
-
workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A Ph.D. in evolutionary biology, ecology, plant biology, genomics, bioinformatics, computer science, plant
-
Requisition Id 15282 Overview: The Fusion Energy Division (FED) at the Oak Ridge National Laboratory invites applications for a Nuclear Engineering position in the Blanket & Fuel Cycle Group. FED is
-
at the intersection of quantum information science and fundamental materials physics. The research program focuses on understanding the fundamental limits of spin-based quantum sensors as probes of magnetic and
-
Requisition Id 15217 Overview: The Multiscale Biomedical Systems group in the Advanced Computing in Health (ACH) section in Computational Sciences and Engineering Division (CSED), Computing and
-
for microreactors. This position resides in the Nuclear and Extreme Environment Measurements (NEEM) Group in the Nuclear Energy and Fuel Cycle Division, Fusion and Fission Energy and Science Directorate at Oak Ridge
-
visual representation and analysis of large-scale 2D/3D scientific data. This position resides in the Data Visualization Group in the Data and AI Systems Section, Computer Science and Mathematics Division