20 software-verification-computer-science Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
solutions to compelling problems in energy and security. We are seeking a Postdoctoral Research Associate who will support the Science Engagement Section in the National Center for Computational Sciences
-
of finite element simulations methods. Experience using parallel Linux computing platforms, parallel job submission scripts, common software repository tools (e.g., GitHub), and parallel visualization
-
software, and heterogeneous execution environments. Explore and analyze different quantum computing modalities and architectures and investigate their integration with HPC systems. Use representative
-
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 17066 Overview: The Computational Hydrology and Atmospheric Science (CHAS) Group within the Computational Sciences and Engineering Division (CSED) at Oak Ridge National Laboratory
-
of performing leading-edge computational science research and development with a focus on the development of software for calculations in lattice quantum chromodynamics (Lattice QCD). Areas of specific interest
-
related field completed within the last 5 years. Experience utilizing computational thermodynamic (CALPHAD) software, such as Thermo-Calc, DICTRA, PANDAT, or FactSage. Proficiency in materials data
-
Requisition Id 16736 Overview: We are seeking a Postdoctoral Research Associate who will work with a multi-disciplinary group of experts in economics, engineering, software development, and building
-
, electrical engineering, computer engineering, computer science, aerospace engineering, or a closely related field obtained in the last five years. Demonstrated experience developing robotic systems using ROS 2
-
for extreme-scale, heterogeneous computing. This role sits at the intersection of compiler infrastructure, formal verification, runtime systems, and hardware/software co‑design—expanding into emerging paradigms