76 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Requisition Id 16889 Overview: The National Center for Computational Sciences (NCCS) provides state-of-the-art computational and data science infrastructure for technical and scientific
-
their area, interact with ORNL staff, industry, and academic partners. This position resides in the Sustainable Manufacturing Technologies Group in the Manufacturing Science Division (MSD) of the Energy
-
their electrochemical performance with chemical change. This position resides in the Chemical Dynamics Group in the Chemical Sciences Division (X060), Physical Sciences Directorate (PSD) at Oak Ridge National Laboratory
-
Requisition Id 17075 Overview: We are seeking a highly motivated Postdoctoral Research Associate in Organic Chemistry and/or Critical Materials Separation Science to develop next-generation ligands
-
specialists in organic and inorganic synthesis, coordination chemistry, thermodynamics, laser spectroscopy, materials characterization, chemical separations, computational chemistry, and nuclear chemistry. Our
-
the Advanced Fibers Manufacturing Group in the Manufacturing Science Division (MSD) at Oak Ridge National Laboratory (ORNL), this position provides an exciting opportunity to work at the forefront of materials
-
Requisition Id 17151 Overview: Oak Ridge National Laboratory (ORNL) is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver
-
Requisition Id 16939 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
, electrical engineering, computer engineering, computer science, aerospace engineering, or a closely related field obtained in the last five years. Demonstrated experience developing robotic systems using ROS 2
-
. Present and report research results and publish scientific results in peer-reviewed journals or conferences. Basic Qualifications: A PhD in Computer Science, Applied Mathematics, Computational Science, or