54 formal-verification-computer-science Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
, transportation, and more, with a special emphasis on grid resilience assessments and equity analysis. You will have the opportunity to creatively use interdisciplinary methods from computational data science
-
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
-
Requisition Id 15147 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
, 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
-
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