79 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Postdoctoral Research Associate - Multifunctional Equipment Integration Energy Conversion Technology
system technologies. This position resides in the Multifunctional Equipment Integration Group in the Thermal System Science Research Section, Buildings and Transportation Science Division, Energy Science
-
of ORNL researchers with various backgrounds (e.g., material science, neutron science, chemistry, manufacturing, computing, others). Interact and collaborate with researchers from universities, national
-
. 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 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
-
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
-
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
-
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
-
. in Quantum computing, Computer Science, Computer Engineering, Electrical Engineering, Applied Mathematics, or a closely related discipline, with demonstrated knowledge of or research experience in
-
five-year mission of the ORNL Quantum Science Center (QSC) to establish a quantum-accelerated computing ecosystem for scientific applications. The successful candidate will develop, test, and evaluate