59 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory in United States
Sort by
Refine Your Search
-
, work together, and measure success. Basic Qualifications: A PhD in Materials Science & Engineering, Computational Sciences, Physics, or a related field completed within the last 5 years Demonstrated
-
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
-
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
-
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
-
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
-
Requisition Id 16104 Overview: The Quantum Heterostructures Group is seeking outstanding candidates for a postdoctoral position in quantum information science. You will conduct experimental
-
the electron Microscopy and Microanalysis (e-MMÅ) group in the Nanomaterials Characterization Section, Center for Nanophase Materials Sciences (CNMS), Physical Science Directorate (PSD) at Oak Ridge National
-
conferences (e.g., NeurIPS, SC, AAAI, or domain-specific venues like Fusion Science or Computational Materials). Collaborative mindset in team environments and across disciplines. Special Requirements: Postdocs
-
Requisition Id 16121 Overview: We are seeking a highly qualified candidate for a postdoctoral position in the Neutron and X-ray Scattering Group (NXSG). This position will support science programs
-
to develop and apply interdisciplinary teamwork skills, as they will be expected to work with researchers in water resources engineering, computation, informatics, ecology, and environmental economics