444 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
. This position resides in the Multiscale Modeling and Materials by Design (M2MD) Group within the Materials Science and Technology Division (MSTD), Physical Sciences Directorate (PSD) at Oak Ridge National
-
, engineering, technical, operations, and mission-support staff is preferred. Experience leading work under a formal Quality Assurance Program, such as NQA-1, ISO 9001, AS9100, or similar, is preferred
-
to sponsor organizations. Competent with all relevant equipment, systems, established policies, procedures, and work methods. Basic Qualifications: Requires a MS in computer science, computer engineering, or
-
challenges facing the nation. The National Security Science Directorate, NSSD, Defense Manufacturing Program Office (DMPO) leads a large portfolio of applied research and development programs centered around
-
the National Center for Computational Sciences (NCCS) Division. The ATS is an applied research and development organization that provides scientific, technical, and thought leadership for the deployment
-
and non-technical audiences Basic Qualifications: BS in computer science, engineering, or a related field and a minimum eight (8) years of relevant experience. An equivalent combination of education and
-
mission of the ORNL Quantum Science Center (QSC) to establish a quantum-accelerated computing ecosystem for scientific applications. As part of our team you will work closely with ORNL staff and external
-
and prepare periodic summaries of equipment utilization, partner requests, response times, calibration status, lessons learned, and program improvement opportunities. Engineering measurement and
-
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
-
weatherization programs through applied research, technical assistance, technology deployment, and program evaluation. The team’s comprehensive knowledge of residential buildings and weatherization programs spans