76 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
of ORNL researchers with various backgrounds (e.g., material science, neutron science, chemistry, manufacturing, computing, others). Interact and collaborate with researchers from universities, national
-
Requisition Id 16720 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
. This position resides in the Multiscale Modeling and Materials by Design (M2MD) Group within the Materials Science and Technology Division (MSTD), Physical Sciences Directorate (PSD) at Oak Ridge National
-
Requisition Id 16765 Overview: The National Center for Computational Sciences (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral research associate in the area of HPC
-
mechanical engineering, material science, electrical engineering, computer engineering, computer science, data science, applied mathematics, or a closely related field Demonstrated experience with multimodal
-
Requisition Id 16597 Overview: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an impressive 80-year legacy of addressing the nation’s most pressing challenges
-
advanced manufacturing processes. This position resides in the Deposition Science and Technology Group in the Manufacturing Science Division (MSD), Energy Science and Technology Directorate (ESTD) at Oak
-
Requisition Id 16261 Overview: We are seeking a Postdoctoral Research Associate who will focus on the physics and materials science of PLD-synthesized twisted oxide and hybrid quantum materials
-
quantum and/or microelectronic materials, enabling Labs-of-the-Future (LoTF) for breakthrough science. The position resides in the Nanomaterials Theory Institute (NTI) within the Theory and Computation
-
on emerging architectures and performance for advanced computing. This position resides in the Architectures and Performance Group (APG) in the Computer Science and Mathematics Division at Oak Ridge National