54 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory in United States
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
-
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
-
research within past five years. Preferred Qualifications: Ability to work independently to design and deploy methods at scale. Familiarity with hardware-software co-design, memory hierarchies (DDR, HBM
-
HPC research within past five years. Preferred Qualifications: The ability to work independently and develop and deploy methods at scale. Experience in high-performance computing and software