354 proof-checking-postdoc-computer-science-logic positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
and effective results supporting the customer's mission. ORNL is the largest US Department of Energy science and energy laboratory, conducting basic and applied research to deliver transformative
-
building construction. This position resides in the Manufacturing Robotics and Controls Group in the Manufacturing Science Division (MSD), Energy Science and Technology Directorate (ESTD), at Oak Ridge
-
Requisition Id 16081 Overview: We are seeking an Electrical CADD Designer III who will focus on producing designs, and engineering drawings using computer-aided design (MicroStation/AutoCAD
-
Chopper team. The division also houses the User Program and Outreach office as well as the Scientific Software Development team, which is matrixed with the Computer Science and Mathematics Division. Major
-
Requisition Id 15853 Overview: The High-Performance Computing Systems Section within the National Center for Computational Sciences (NCCS) is seeking an IAM Linux Engineer to join the HPC
-
. This position resides in Systems Engineering and Cybernetics Group in the Computational Sciences & Engineering Division of the Computing & Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL
-
Requisition Id 15604 Overview: The National Center for Computational Sciences (NCCS) at the Oak Ridge National Laboratory (ORNL) is seeking a postdoctoral research associate in High-Performance
-
experimental validation of high-performance polymer composite systems. This position resides in the Composites Innovation Group in the Manufacturing Science Division, Energy Science and Technology Directorate
-
provide space to build new instruments. This exciting project will enable the HFIR to provide the Office of Science neutron scattering, isotopes production, materials irradiation, and other scientific
-
have high level of organization and computer skills, working knowledge of PC, Microsoft Office (Word, PowerPoint, Excel, Access, Adobe Acrobat). Motivated self-starter with the ability to work