72 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
. In this role, you will leverage large-scale, heterogeneous datasets to develop and deploy AI-driven methods for: Real-time quality monitoring and control of manufacturing processes Understanding
-
related to magnetic materials, experience with first-principles electronic structure methods and proven expertise in developing and/or applying advanced AI/ML methods for accelerated materials discovery
-
, optical spectroscopy, and scanning probe microscopy. Advance capabilities for specialized scanning probe microscopy methods Work as part of a dynamic team conducting research that advances and develops
-
Science group addresses this mission through the development of quantum computational methods and software for diverse scientific applications. Major Duties/Responsibilities: Conduct research in
-
Requisition Id 16562 Overview: The Analytics and AI Methods at Scale (AAIMS) group at the National Center of Computational Science (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking
-
and lignocellulosic biomass into domestic fuels and chemicals. Research activities may include creating transformation methods, constructing gene‑expression “genetic parts,” and developing CRISPR‑Cas
-
performance and detect anomalies Develop AI-driven predictive maintenance strategies to anticipate system failures or performance degradation Use AI/ML methods to optimize thermal system design parameters and
-
databases to assess ecosystem response to environmental forcing. The primary research focus is AI-forward, experiment-driven. This position encourages leveraging AI/ML methods to assess plant physiological
-
. The position offers the opportunity to work at the interface of model development, observational data synthesis, and emerging AI/ML methods, in close collaboration with researchers from the SPRUCE (Spruce and