292 proof-checking-postdoc-computer-science-logic uni jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
& Computing Center to support ORNL’s geospatial high-performance computing (HPC) research portfolio within the Geospatial Science and Human Security Division. ORNL is the nation’s geospatial research laboratory
-
Requisition Id 16036 Overview: We are seeking an Electrical Engineering Lead who will focus on and take ownership of the electrical engineering scope of the magnetic field generation systems
-
Requisition Id 16009 Overview: Oak Ridge National Laboratory (ORNL) seeks a senior leader to guide our water resources science and engineering research within the Environmental Sciences Division
-
, and biological systems. ORNL’s computational science research efforts enable scientists to efficiently implement these models at the extreme scale of computing and to store, manage, analyze, and
-
Requisition Id 16143 Overview: Oak Ridge National Laboratory (ORNL) is seeking a Communications Lead for its Fusion and Fission Energy and Science Directorate (FFESD). As part of ORNL’s
-
briefings or field visits. Uphold ORNL’s safety, quality, and ethics standards. Basic qualifications: Bachelor’s degree in any scientific, engineering, or related field (e.g., physics, computer science
-
a pre-placement drug test and participation in an ongoing random drug testing program. About ORNL: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an impressive 80
-
. This section will advance the integration of high‑performance computing (HPC), artificial intelligence (AI), data science, and automation with experimental biosciences to enable predictive, scalable, and AI
-
to effectively measure and assess overall program performance. Serve as a resource for ORNL research staff and research administration on technology transfer and commercialization partnering mechanisms. Provide