66 formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory in United States
Sort by
Refine Your Search
-
, reports. Seek membership in professional, academic, and research organizations. Basic Qualifications: A PhD in computer science/engineering or relevant area with an education and a research track record in
-
another, work together, and measure success. Basic Qualifications: A PhD in chemistry, nuclear chemistry, or a related discipline, completed within the last five years Preferred Qualifications: Candidates
-
of distributed-memory systems and many‑core architectures. Preferred Qualifications: Formal Methods: Experience with automated reasoning or verification tools (e.g., Z3, TLA+, LEAN) to ensure correctness
-
(NSSD). In this role, you will conduct fundamental research into the integration of Bayesian methodologies with system dynamics modeling, advancing statistical methods and the open-source scientific
-
professional, academic, and research organizations. Basic 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
-
Requisition Id 16540 Overview: We are seeking a Postdoctoral Research Associate who will develop and apply computational methods based on electronic structure theory and artificial intelligence
-
, and measure success. Basic Qualifications: PhD in Plasma Physics, Electrical Engineering, Nuclear Engineering, or a closely related field completed within the last 5 years, or expect to complete a PhD
-
. 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