63 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
, qualification, and deployment of AI agents and models, Computational Fluid Dynamics (CFD) simulation codes, and Finite Element Method (FEM) based tools for nuclear energy (fission and fusion
-
systems 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
-
Confidential Computing and Secure Multi-tenancy. The candidate will be able to make research contributions in areas of system software architectures to support secure computing enclaves on large scale
-
presentations. Seek membership and service opportunities in professional, academic, and research organizations. Basic Qualifications: A PhD in computer science/engineering or relevant area with an education
-
Qualifications: A PhD in computer science/engineering or relevant area with an education and a research track record in HPC/AI/edge systems and storage research within past five years. Preferred
-
for OPF and related grid simulation tasks. Develop and maintain HPC-ready software workflows for distributed training, large-scale inference, scalable data ingestion, and data management on
-
environments. The candidate will be expected to model prototypes of the fiber optic based sensors using standard Multiphysics software, perform out-of pile laboratory testing of the instruments in
-
management and workflows to enable AI-readiness at scale. You will work on designing system software for automating processes such as intelligent data ingestion, preservation of data/metadata
-
sparse computations. Communicating research via publications and conference presentations in top venues, invited talks, and organized workshops, tutorials, and symposiums. Releasing research software
-
Qualifications: Candidates must have a PhD in nuclear engineering or a related field completed within the past 5 years. Knowledge of nuclear reactor analysis R&D is required as demonstrated through research and