422 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
facilities: the Target & Instrument Building, Ring to Second Target Tunnel (RTST), and Central Services/Utilities Building (CSB). Design is led by an external Architectural/Engineering (A/E) firm, with
-
Requisition Id 16939 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
in the Thermal Systems Science Section, Buildings and Transportation Science Division, Energy Science and Technology Directorate, at Oak Ridge National Laboratory (ORNL). Major Duties/Responsibilities
-
traditional Linux engineering role. You will operate at the intersection of advanced Linux architecture, cybersecurity, HPC, AI/ML, and classified computing, leading complex technical efforts and shaping secure
-
research programs within the Biological and Environmental Systems Science Directorate (BESSD). This position resides within the Communications and Community Engagement Directorate. BESSD advances scientific
-
the Genesis Mission, the American Science Cloud, and the Oak Ridge Leadership Computing Facility (OLCF). Working within the Workflows and Ecosystem Services (WES) Group at the National Center for Computational
-
science and energy laboratory, conducting basic and applied research to deliver transformative solutions to compelling problems in energy and security. Our diverse capabilities span a broad range of
-
program. 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. Our team is made up of over
-
analysis by scanning electron microscopy. This position resides in the Applied Microanalysis & Thermophysics Group of the Materials Analysis & Interface Science Section, Materials Science and Technology
-
of Geography, Data Science, Computer Science, or related fields with a minimum of 5-7 years of relevant experience Experience with programming languages such as SQL, Python Experience with Extract, Transform