59 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
concepts and results to national. This position resides within the Quantum Computational Science Group in the Computational Sciences and Engineering Division (CSED) at Oak Ridge National Laboratory (ORNL
-
respectful workplace – in how we treat one another, work together, and measure success. Required Qualifications: PhD in Nuclear engineering, computer science, applied mathematics, or a related field completed
-
Requisition Id 16167 Overview: The Multiphysics Modeling and Flows (MMF) Group in the Computational Sciences and Engineering Division is seeking a Postdoctoral Research Associate with expertise in
-
Requisition Id 16261 Overview: We are seeking a Postdoctoral Research Associate who will focus on the physics and materials science of PLD-synthesized twisted oxide and hybrid quantum materials
-
problems, collaborate with leaders in your field and across the laboratory, while working with the world’s fastest computers, and disseminate innovative results through publications and presentations
-
○ 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
-
quantum and/or microelectronic materials, enabling Labs-of-the-Future (LoTF) for breakthrough science. The position resides in the Nanomaterials Theory Institute (NTI) within the Theory and Computation
-
Requisition Id 16197 Overview: We are accepting applications for a Postdoctoral Research Associate position who will focus on the intersection of material science, materials characterization, and
-
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