314 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
& Computing Center to support ORNL’s geospatial high-performance computing (HPC) research portfolio within the Geospatial Science and Human Security Division. ORNL is the nation’s geospatial research laboratory
-
plans for the computing environment and lead technical projects from conception to completion. This includes planning for hardware upgrades, new technology implementations, and system performance
-
. This section will advance the integration of high‑performance computing (HPC), artificial intelligence (AI), data science, and automation with experimental biosciences to enable predictive, scalable, and AI
-
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 an impressive 80
-
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
-
of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM delivers fundamental and applied research capabilities in a wide range of areas, including
-
Requisition Id 15814 Overview: Oak Ridge National Laboratory is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
of education and experience may be considered. Expertise in computational material design, additive manufacturing, and material science is a plus. Preferred Qualifications: Such a candidate (1) demonstrates an
-
briefings or field visits. Uphold ORNL’s safety, quality, and ethics standards. Basic qualifications: Bachelor’s degree in any scientific, engineering, or related field (e.g., physics, computer science
-
to effectively measure and assess overall program performance. Serve as a resource for ORNL research staff and research administration on technology transfer and commercialization partnering mechanisms. Provide