293 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
Requisition Id 15564 Overview: Oak Ridge National Laboratory (ORNL) is seeking an Isotope Science and Enrichment Program Integration Manager to lead the development and oversight of master
-
Requisition Id 15513 Overview: Oak Ridge National Laboratory (ORNL) is seeking an Isotope Science and Enrichment Program Integration Manager to lead the development and oversight of master
-
systems, and logical reasoning. Preferred Qualifications: Ability to lead projects on a scale of multiple millions of dollars in labor and material expenses. An AS degree in science or technical related
-
, Computer Science, or a closely related field. Experience in at least one of the following areas: FPGA programming (VHDL/Verilog, HLS) Pixel detectors in high-energy physics or radiation detection
-
Infrastructure Operations Group in the National Center for Computational Sciences (NCCS) Division of the Computing and Computational Sciences Directorate (CCSD) at Oak Ridge National Laboratory (ORNL). Computing
-
Postdoc Research Associate- Atomic-Resolution Optical Spectroscopies w/Scanning Tunneling Microscopy
Tunneling Microscopy Group in the Nanomaterials Characterization Section of the Center for Nanophase Materials Sciences Division in the Physical Sciences Directorate, at Oak Ridge National Laboratory (ORNL
-
Requisition Id 15601 Overview: The Analytics and AI methods at Scale (AAIMS) group in the National Center for Computational Science (NCCS) is hiring Senior Research Scientist to push the frontier
-
Requisition Id 15552 Level: BP04 Overview: We are seeking a Requirements Program Manager who will oversee the requirements management processes that support deployment of the UT-Battelle Prime
-
Requisition Id 15732 Overview: We are seeking a Plasma Material Interactions (PMI) Science expert to lead the development of a science program focused on plasma-materials interactions for fusion