268 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
through papers, artifacts, and presentations at top-tier venues. Basic Qualifications: Ph.D. in Computer Science, Computer Engineering, a physical/computational science discipline (e.g., physics, chemistry
-
computational science research efforts enable scientists to efficiently implement these models at the extreme scale of computing and to store, manage, analyze, and visualize the massive amounts of data
-
Requisition Id 15581 Overview: The Computer Science and Mathematics Division (CSMD) is seeking an nationally recognized engineer to lead and grow world class research capabilities focused on solving
-
Requisition Id 15603 Overview: The National Center for Computational Sciences (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral research associate in the area of HPC
-
Requisition Id 15217 Overview: Oak Ridge National Laboratory (ORNL), the U.S. Department of Energy’s largest multi-program science and energy laboratory, has an extraordinary 80-year history
-
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
-
home to more than 7,500 staff, an outstanding ecosystem of world-class user facilities, and an unparalleled breadth of expertise spanning neutron science, high-performance computing, materials and
-
execute these important missions by teaming with ESED’s division director, program managers, and staff to build on a rich history of accomplishments in enrichment science and engineering. As part of our
-
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
-
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