288 proof-checking-postdoc-computer-science-logic uni jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Requisition Id 15942 Overview The Program Analyst supports the Laboratory’s records management program by leading and participating in records-related projects with a strong emphasis on electronic
-
Requisition Id 15777 Overview: The Fusion Energy Division at the Oak Ridge National Laboratory seeks applications for a skilled Computational Magnetohydrodynamics Engineer, with intended focus
-
to national security. This position resides in the National Security Program Office, Intelligence and Special Programs, National Security Sciences Directorate, at Oak Ridge National Laboratory (ORNL). As a U.S
-
and non-technical audiences Basic Qualifications: BS in computer science, engineering, or a related field and a minimum eight (8) years of relevant experience. An equivalent combination of education and
-
coupled with artificial intelligence, applied mathematics and statistical sciences with an emphasis on applications relevant to the DOE mission space. This position is within the Mathematics in Computation
-
Requisition Id 15935 Overview The Biosciences Division at Oak Ridge National Laboratory seeks a Technical Professional to support computational biology research within the Plant-Microbe Interfaces
-
Requisition Id 15864 Overview: The Multiphysics Modeling and Flows (MMF) Group in the Computational Sciences and Engineering Division is seeking a software application engineer with expertise in
-
Requisition Id 15865 Overview: The Multiphysics Modeling and Flows (MMF) Group in the Computational Sciences and Engineering Division is seeking a software application engineer with expertise in
-
plans for the computing environment and lead technical projects from conception to completion. This includes planning for hardware upgrades, new technology implementations, and system performance
-
Requisition Id 15385 Overview: We’re hiring a Group Leader in Neutron Systems Engineering to oversee critical computing infrastructure for data acquisition, analysis, management, and instrument