431 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, scoping, prioritization, and tracking of training program requests, improvement opportunities, assessment findings, and special projects to ensure alignment with mission needs and organizational priorities
-
in Extreme Environments Section of the Materials Science and Technology Division, Physical Sciences Directorate at ORNL. Working in partnership with the U.S. Department of Energy’s (DOE) Office of
-
and experience will help position the Lab among the world's premier research institutions. The successful candidate will support the Media Relations Group to share compelling stories about ORNL science
-
Requisition Id 17008 Overview: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an 80-year legacy of supporting the nation’s security and strategic missions. ORNL
-
Requisition Id 16934 Overview: The National Center for Computational Sciences (NCCS) in the Computing and Computational Sciences Directorate at Oak Ridge National Laboratory is seeking a highly
-
; and independently carry out assignments in budget preparation, cost analysis, and other special assignments in support of the Environmental Sciences Division. This position resides in the BESSD Business
-
and technology (S&T) leadership in cybersecurity and cyber-physical resiliency, data analytics, geospatial science and technology, and high-performance computing for sensitive national security missions
-
Materials Analysis in the Nuclear Nonproliferation Division in the National Security Sciences Directorate at Oak Ridge National Laboratory (ORNL). Major Duties/Responsibilities: Develop, validate, and extend
-
Requisition Id 16217 Overview: The Multiscale Biomedical Systems Group within the Advanced Computing in Health (ACH) section of the Computational Sciences and Engineering Division (CSED) at Oak
-
priorities, operational constraints, and evolving research needs. Basic Qualifications: Bachelor’s or Master’s degree in Computer Science, AI/ML, Software Engineering, or related field 7+ years of experience