57 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
-
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
-
to accelerate the design and discovery of novel materials. The Materials Theory Group has a background in using first principles methods to examine electronic and thermal transport, magnetic properties
-
materials. In this role, you will develop and apply methods that integrate physics‑guided image correction with intelligent (AI/ML‑enabled) data‑acquisition strategies. Key objectives include (1) implementing
-
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