301 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
, 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
-
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
-
Requisition Id 15603 Overview: The National Center for Computational Sciences (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral research associate in the area of HPC
-
Requisition Id 15757 Overview: We are seeking a Computational Scientist for the Multiscale Materials group in the Computational Science and Engineering Division (CSED). The candidate will be
-
home to more than 7,500 staff, an outstanding ecosystem of world-class user facilities, and an unparalleled breadth of expertise spanning neutron science, high-performance computing, materials and
-
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
-
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
-
Requisition Id 15575 Overview: The Nuclear and Radiological Protection Division (NRPD) at the Oak Ridge National Laboratory (ORNL) seeks an External Dosimetry Program Technical Specialist within
-
quantum computing efforts will be critical. This position resides in the Materials Theory Group, Foundational and Quantum Materials Science Section, Materials Science and Technology Division (MSTD
-
fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A Ph.D. in computer science, electrical engineering, or a related field and six (6