57 proof-checking-postdoc-computer-science-logic Postdoctoral research jobs at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
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 15823 Overview: We are seeking a postdoctoral researcher skilled in biogeochemistry who will contribute to mercury remediation technology development program, specifically focusing
-
.) to enable real-time process monitoring of the Directed Energy Deposition (DED) printing process. A background in sensors, instrumentation, and data analytics is preferred. Strong communication and program
-
array of capabilities in nuclear nonproliferation, data analytics, cybersecurity, cyber-physical resiliency, geospatial science, and high-performance computing, our organization seeks to produce world
-
challenges facing the nation. We are seeking a Postdoctoral Research Associate who will support the Quantum Sensing and Computing Group in the Computational Science and Engineering Division (CSED), Computing
-
, separations, stabilization, and advanced therapeutic or diagnostic applications. The successful candidate will contribute to multidisciplinary efforts at the interface of chemistry, nanomaterials, nuclear
-
Systems Research Section/Workflow Systems Group within the Computer Science and Mathematics Division at Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral researcher with expertise in data