356 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
systems engineering, development, integration, and support for the research community at ORNL. We are responsible for facilitating service and capability delivery for R&D projects. We work as team
-
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
-
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 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
-
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 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
-
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