420 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
. The Employee Concerns Program (ECP) provides an independent, objective, and confidential process for employees and other covered individuals to raise concerns without fear of reprisal. The program also supports
-
Requisition Id 16992 Overview: The Organization: The National Center for Computational Sciences (NCCS) provides pioneering computational infrastructure for technical and scientific professionals
-
. This position resides in Isotopes Enrichment & Facilities Quality Assurance (QA) Group and matrixed to the Technical Support Services Group within the Nonreactor Nuclear Facilities Division in the Isotope Science
-
complex systems to meet these diverse objectives. This position resides within the Quantum Computational Science Group in the Computational Sciences and Engineering Division (CSED) at Oak Ridge National
-
. This position will work as part of an integrated team that has responsibility for operations and facility management tasks associated with work control and facility operations in support of science and
-
/Responsibilities: Perform particle tracking simulations and computational analyses to support the design, optimization, and interpretation of advanced engineering and scientific research Develop and maintain
-
fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: BS/BA degree in Library/Information Science, a related discipline, or an equivalent
-
Requisition Id 16986 Overview: We are seeking a Mechanical Design Engineer who will provide mechanical engineering design support for Spallation Neutron Source (SNS) systems, with emphasis
-
success. Basic Qualifications: BS degree in Mechanical Engineering from an ABET-accredited program. A minimum of eight years of experience in design engineering for custom equipment and mechanical systems
-
, 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) applications