426 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
computing, artificial intelligence, and critical infrastructure. This position resides in the Secure AI Research Group in the Advanced Intelligent Systems Section, Cyber Resilience and Intelligence Division
-
Requisition Id 16800 Overview: Oak Ridge National Laboratory (ORNL) is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver
-
, and growth of research programs focused on advanced machining, machine tool science, machine tool performance, manufacturing process monitoring, machine tool metrology, and data-driven manufacturing
-
Requisition Id 17059 Overview: We are seeking a Gas Testing Engineer who will focus on the development, analysis, and interpretation of gas testing experiments to support isotope enrichment science
-
Requisition Id 17057 Overview: We are seeking a Gas Testing Engineer who will focus on the development, analysis, and interpretation of gas testing experiments to support isotope enrichment science
-
partners. This position resides in the Sustainable Manufacturing Technologies Group in the Manufacturing Science Division (MSD) of the Energy Science and Technology Directorate at Oak Ridge National
-
leadership, program development, and hands‑on research using neutron and X‑ray scattering. The successful candidate will drive high‑impact science, build collaborative partnerships, and mentor a diverse team
-
Requisition Id 16976 Level: TP02 Overview: The Transportation Security Engineering and Analysis Group within the Nuclear Nonproliferation Division (NND) at ORNL seeks applications for a Nuclear
-
fabrication, assembly, and inspection processes to support multiple enrichment technology programs. The Research Manufacturing Group resides in the Enrichment Systems Fabrication and Demonstration Section
-
drug testing program. About ORNL: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an impressive 80-year legacy of addressing the nation’s most pressing challenges