55 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory in computer-science
-
Requisition Id 16974 Overview: We are seeking a Postdoctoral Research Associate to conduct Mechanical Behavior of Advanced Structural Alloys by Engineering Diffraction. This position resides in
-
Requisition Id 17148 Overview: The Fusion Energy Division at the Oak Ridge National Laboratory seeks applications for a skilled Computational Magnetohydrodynamics Engineer, with intended focus
-
solutions to compelling problems in energy and security. We are seeking a Postdoctoral Research Associate who will support the Science Engagement Section in the National Center for Computational Sciences
-
and processes to support the evolving needs of the organization. Basic Qualifications: BS in computer science, engineering, or a related field and a minimum eight (8) years of relevant experience
-
at the intersection of applied mathematics, computational science, and high-performance computing. The successful candidate will help develop advanced scientific computing methods and deploy them on state-of-the-art
-
Requisition Id 17002 Overview: We are seeking two Computational Instrument Scientists who will focus on developing software analysis tools for the diffraction instruments. These positions reside in
-
(Accelerating Competitiveness through Computational ExceLlence), an industrial partnerships program within the National Center for Computational Sciences (NCCS). This position can be on-site, remote, or hybrid
-
Requisition Id 16946 Overview: We are seeking a Computational Instrument Scientist who will focus on developing software analysis tools for the powder diffraction instruments. This position
-
concepts and results to national audiences. This position resides within the Quantum Computational Science Group in the Computational Sciences and Engineering Division (CSED) at Oak Ridge National Laboratory
-
of irradiated ceramics and alloys for tritium technology development using advanced experimental and computational methods. The researcher will perform characterization of model systems using techniques such as