60 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
complex, multi-scale systems. The group is part of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research
-
of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research capabilities in a wide range of areas, including
-
Requisition Id 15814 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
, 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
-
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
-
to address scientific and engineering problems, collaborate with leaders in your field and across the laboratory, while working with the world’s fastest computers, and disseminate innovative results through
-
analysis necessary for simulating and understanding complex, multi-scale systems. The group is part of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM
-
Characterization Section of the Center for Nanophase Materials Sciences (CNMS), Physical Sciences Directorate (PSD) at Oak Ridge National Laboratory (ORNL). As part of our research team, you will investigate
-
Qualifications: Ph.D. in electrical engineering, computer science, or related discipline completed within the last five years. Demonstrated expertise in computed tomography (CT), with experience in sparse-view and
-
at Oak Ridge National Laboratory (ORNL). This position resides in the Materials Theory Group in the Materials Science and Technology Division (MSTD), Physical Sciences Directorate (PSD) at ORNL. Major