354 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
program Visa Sponsorship: Visa sponsorship is not available for this position. About ORNL: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an impressive 80-year legacy
-
Qualifications: A BS in computer science, information technology, computer engineering, or a related field of study and a minimum of 8 years of proven experience is required. An overall combination of equivalent
-
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 15751 Overview: The Advanced Computing in Health Sciences (ACH) section at the Oak Ridge National Laboratory is seeking qualified applicants for a Machine Learning Engineer position
-
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
-
require passing a pre-placement drug test and participation in an ongoing random drug testing program. About ORNL: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has
-
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
-
building construction. This position resides in the Manufacturing Robotics and Controls Group in the Manufacturing Science Division (MSD), Energy Science and Technology Directorate (ESTD), at Oak Ridge