356 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Requisition Id 15853 Overview: The High-Performance Computing Systems Section within the National Center for Computational Sciences (NCCS) is seeking an IAM Linux Engineer to join the HPC
-
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
-
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
-
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
-
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 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
-
. This position resides in Systems Engineering and Cybernetics Group in the Computational Sciences & Engineering Division of the Computing & Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL
-
drug testing program. About ORNL: As a U.S. Department of Energy (DOE) Office of Science national laboratory, ORNL has an impressive 80-year legacy of addressing the nation’s most pressing challenges
-
experimental validation of high-performance polymer composite systems. This position resides in the Composites Innovation Group in the Manufacturing Science Division, Energy Science and Technology Directorate