66 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
-
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
-
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
-
science, computer science, computer engineering, electrical engineering, and optical engineering, and frequently collaborates with partners in industry, academia, and other government organizations
-
Qualifications: A PhD in mechanical engineering, computer science, or a related field completed within the last 5 years. Preferred Qualifications: Experience planning and designing solutions for a variety of
-
Requisition Id 15408 Overview: Oak Ridge National Laboratory (ORNL) (https://www.ornl.gov/) is the largest US Department of Energy science and energy laboratory, conducting basic and applied
-
strong background in quantum computing, computational physics, and a solid understanding of condensed matter quantum many-body theory. This position resides within the Quantum Computational Science group
-
potential for high-impact research contributions at the forefront of computational quantum many-body physics. This position resides within the Computational Chemistry and Nanomaterials Sciences group in