60 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
analysis of large-scale 2D/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
-
Postdoctoral Research Associate in the areas Artificial Intelligence (AI) for Integrated Hydrology Modeling. The successful candidate will have a strong background in computational science, data analysis, and
-
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
-
Requisition Id 15340 Overview: The Power System Resilience (PSR) Group in the Electrification and Energy Infrastructure Division (EEID) within the Energy Science and Technology Directorate (ESTD
-
comparative research across Mojo, Julia, Rust, and vendor toolchains. Basic Qualifications: Ph.D. in Computer Science, Computer Engineering, or related field. Experience with LLMs or agentic AI frameworks
-
Requisition Id 15638 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
Requisition Id 15637 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
Requisition Id 15604 Overview: The National Center for Computational Sciences (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral research associate in High-Performance
-
Requisition Id 15602 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
-
array of capabilities in nuclear nonproliferation, data analytics, cybersecurity, cyber-physical resiliency, geospatial science, and high-performance computing, our organization seeks to produce world