56 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
○ Research approach ● Proposed Seaborg Researcher candidate ○ Strength of candidate Successful candidates must be approved by the ORNL Postdoc Program before receiving funding and performing research. Final
-
Requisition Id 15893 Overview: The Nanomaterials Chemistry Group within the Chemical Sciences Division at ORNL is seeking to fill a postdoctoral position available for an inorganic, organic
-
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
-
Computational/theoretical chemistry and/or physics, chemical engineering, materials or a closely related field completed within the last 5 years. Preferred Qualifications: Experience with coding, electronic
-
challenges facing the nation. The Computational Coupled Physics (CCP) Group within the Computational Sciences and Engineering Division (CSED), at Oak Ridge National Laboratory (ORNL) is seeking a Postdoctoral
-
Requisition Id 15907 Overview: The Radiation Effects and Microstructural Analysis Group (REMAG) within the Materials Science and Technology Division at Oak Ridge National Laboratory (ORNL) is
-
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