441 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
the Functional Atomic Force Microscopy (FAFM) group in the Nanomaterials Characterization Section, Center for Nanophase Materials Sciences (CNMS), Physical Science Directorate (PSD) at Oak Ridge National
-
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
-
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