55 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
: Experience in one more of the following areas: Mathematical tools for data analysis Numerical methods for differential and integral equations Modern machine learning software tools and frameworks
-
: Experience in one more of the following areas: Mathematical methods for kinetic and/or fluid equations Multiscale problems and model reduction Modern machine learning software tools and frameworks
-
Requisition Id 15422 Overview: The Multiscale Methods and Dynamics (MMD) Group at Oak Ridge National Laboratory (ORNL) is seeking several qualified applicants for postdoctoral positions related
-
challenges and conduct the research needed to accelerate the delivery of solutions to the marketplace. The Radiation Transport and HPC Methods (RTHPCM) Group within the Nuclear Applications Methods and Data
-
programming (C++, MPI, CUDA/HIP/ROCm). Preferred Qualifications: Familiarity with LLVM/MLIR development and multi‑language IR ecosystems. Background in formal methods or automated reasoning. Experience with
-
computational mesh generation. In this role, you will apply your software engineering skills to develop and validate computational results that support large-scale, physics-based simulations across a variety of
-
Science group addresses this mission through the development of quantum computational methods and software for diverse scientific applications. Major Duties/Responsibilities: Conduct research in
-
dark-field STEM imaging, energy dispersive X-ray spectroscopy (EDS) and electron energy loss spectroscopy, at the intersection of electron microscopy, software engineering and machine learning. Major
-
computational physics, computational materials, and machine learning and artificial intelligence, using the DOE’s leadership class computing facilities. This position will utilize methods such as finite elements
-
interconnection topologies that simplify the use of diverse distributed storage resources through advanced methods for distributed data placement, layout, tiering, and movement. Major Duties and Responsibilities