352 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
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
-
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
-
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
-
and effective results supporting the customer's mission. ORNL is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
Requisition Id 16081 Overview: We are seeking an Electrical CADD Designer III who will focus on producing designs, and engineering drawings using computer-aided design (MicroStation/AutoCAD
-
Chopper team. The division also houses the User Program and Outreach office as well as the Scientific Software Development team, which is matrixed with the Computer Science and Mathematics Division. Major