66 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Qualifications: A PhD in Computer Science, Applied Mathematics, Computational Science, or related discipline completed within the last 3 years or to be expected in 2025. Demonstrated hands-on experience and
-
Requisition Id 15434 Overview: The Advanced Computing in Health Sciences (ACH) section at the Oak Ridge National Laboratory (ORNL) is seeking qualified applicants for a Postdoctoral Research
-
, Environmental Sciences Division, Biological & Environmental Systems Science at Oak Ridge National Laboratory (ORNL). Major Duties/Responsibilities: Design experiments and perform laboratory investigations with
-
Requisition Id 15447 Overview: The Data and AI Systems Research Section/Workflow systems Group within the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL) is
-
resides in the Functional Atomic Force Microscopy (FAFM) group in the Nanomaterials Characterization Section, Center for Nanophase Materials Sciences (CNMS), Physical Science Directorate (PSD) at Oak Ridge
-
. This position resides in the Data Visualization Group in the Data and AI Systems Section, Computer Science and Mathematics Division, Computing and Computational Sciences Directorate, at Oak Ridge National
-
3D scientific data. This position resides in the Data Visualization Group in the Data and AI Systems Section, Computer Science and Mathematics Division, Computing and Computational Sciences Directorate
-
position resides in the Sensors and Electronics Group in the Electrification Section, Electrification and Energy Infrastructures Division, Energy Science and Technology Directorate at Oak Ridge National
-
Requisition Id 15217 Overview: The Multiscale Biomedical Systems group in the Advanced Computing in Health (ACH) section in Computational Sciences and Engineering Division (CSED), Computing and
-
Requisition Id 15282 Overview: The Fusion Energy Division (FED) at the Oak Ridge National Laboratory invites applications for a Nuclear Engineering position in the Blanket & Fuel Cycle Group. FED is