253 proof-checking-postdoc-computer-science-logic uni jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Qualifications: Requires a bachelor’s degree in computer science, computer engineering, or related field and a fundamental understanding of cyber security principles, tools, and operational applications. Preferred
-
strategies. This leadership role will serve as the Group Leader for the Remote Sensing and Environmental Informatics (RESI) Group. The group’s mission is to build world-class capabilities in scientific data
-
ORNL's mission by aligning behaviors, priorities, and interactions with our core values of Impact, Integrity, Teamwork, Safety, and Service. Basic Qualifications: BS in computer engineering, computer science
-
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
-
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
-
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
-
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
-
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
-
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
-
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