297 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
for Computational Sciences, Computing and Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL). This position offers an exciting opportunity to contribute to research in nuclear theory using
-
workplace – in how we treat one another, work together, and measure success. Basic Qualifications: BS in Industrial Controls, Electrical or Electronics Engineering, Automation Technology, Computer Networking
-
Requisition Id 15600 Overview: The Analytics and AI Methods at Scale (AAIMS) group in the National Center for Computational Science (NCCS) is hiring a Research Scientist to advance the frontier
-
discovery. This position is for the Discrete Algorithms group, Mathematics in Computation Section, within the Computing and Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL) and
-
to address scientific and engineering problems, collaborate with leaders in your field and across the laboratory, while working with the world’s fastest computers, and disseminate innovative results through
-
of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research capabilities in a wide range of areas, including applied mathematics and computer science, experimental computing
-
complex, multi-scale systems. The group is part of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research
-
Requisition Id 15732 Overview: We are seeking a Plasma Material Interactions (PMI) Science expert to lead the development of a science program focused on plasma-materials interactions for fusion
-
analysis necessary for simulating and understanding complex, multi-scale systems. The group is part of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM
-
, safety, health, and quality program requirements. Daily manage the ORNL Postdoc and ORNL Recruiting email inbox and promptly upload documents from the inbox to SuccessFactors ATS. Perform other duties as