56 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
through papers, artifacts, and presentations at top-tier venues. Basic Qualifications: Ph.D. in Computer Science, Computer Engineering, a physical/computational science discipline (e.g., physics, chemistry
-
for Computational Sciences, Computing and Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL). This position offers an exciting opportunity to contribute to research in nuclear theory using
-
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
-
of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research capabilities in a wide range of areas, including applied mathematics and computer science, experimental computing
-
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
-
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
-
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
-
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