53 formal-verification-computer-science Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Requisition Id 13757 Overview: The Advanced Reactor Engineering and Development (ARED) Section in the Nuclear Energy and Fuel Cycle Division (NEFCD) of Oak Ridge National Laboratory (ORNL) is
-
, industrial energy systems, energy efficiency of manufacturing industry, or other related fields. You will play a crucial role in the planning, execution, and optimization of our technical assistance program
-
of sparse matrix, tensor and graph algorithms on distributed and heterogenouscomputational environments. Basic Qualifications: A PhD in Computer Science, Applied Mathematics, Computational Science, or related
-
resides in the Functional Atomic Force Microscopy (FAFM) group in the Nanomaterials Characterization Section, Center for Nanophase Materials Sciences (CNMS), Physical Science Directorate (PSD) at Oak Ridge
-
, work together, and measure success. Basic Qualifications: A PhD in engineering, computer science, or a related field completed within the last five years. Expertise in systems dynamics and controls
-
Requisition Id 14981 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 14954 Overview: Oak Ridge National Laboratory (ORNL) is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver
-
challenges facing the nation. We are seeking a Postdoctoral Research Associate who will support the Quantum Sensing and Computing Group in the Computational Science and Engineering Division (CSED), Computing
-
Requisition Id 14907 Overview: The Data and AI Systems Research Section/Workflow systems Group within the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL) is
-
) efforts within the Center for Nanophase Materials Sciences (CNMS) through hardware developments. As a postdoc, you will be expected to design and build custom hardware solutions focused on integrating