351 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
Computational/theoretical chemistry and/or physics, chemical engineering, materials or a closely related field completed within the last 5 years. Preferred Qualifications: Experience with coding, electronic
-
challenges facing the nation. The Computational Coupled Physics (CCP) Group within the Computational Sciences and Engineering Division (CSED), at Oak Ridge National Laboratory (ORNL) is seeking a Postdoctoral
-
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 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
-
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
-
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
-
plant systems in the HFIR System Engineering Program in accordance with DOE O 420.1 for the hazard category 1 nuclear facility and shall be qualified as a HFIR System Engineer in the RRD Training Program