420 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
. Present and report research results and publish scientific results in peer-reviewed journals or conferences. Basic Qualifications: A PhD in Computer Science, Applied Mathematics, Computational Science, or
-
Requisition Id 17074 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
of Geography, Data Science, Computer Science, or related fields with a minimum of 2 years of relevant experience Experience with programming languages such as SQL, Python Experience with Extract, Transform, Load
-
portfolio within the Department of Energy (DOE) Office of Science for Isotope R&D and Production, as well as extensive isotope production programs for the DOE Office of Nuclear Energy and National Nuclear
-
Requisition Id 17094 Overview: The National Center for Computational Sciences (NCCS) at Oak Ridge National Lab (ORNL), which hosts several of the world’s most powerful computer systems, is seeking
-
management. This position resides in the Integrated Research Operations Support group in the Work Management Division and will be matrixed to support the Neutron Sciences Directorate at Oak Ridge National
-
support, COMSEC, and systems engineering roles. Provide performance management, annual planning, and ongoing professional development opportunities. Conduct routine check-ins, monitor workload, identify
-
fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: BS in mechanical engineering, electrical engineering, mechatronics, robotics, computer
-
Requisition Id 16736 Overview: We are seeking a Postdoctoral Research Associate who will work with a multi-disciplinary group of experts in economics, engineering, software development, and building
-
in accordance with National Security Sciences and customer requirements. This position resides in the Support Services & Isolated Environments group in the Research Computing division