38 formal-verification-computer-science Postdoctoral positions at Oak Ridge National Laboratory in United-States
-
Requisition Id 15337 Overview: We are seeking a Postdoctoral Research Associate who will focus on applying computational methods in the areas of interfacial chemistry of rare-earth elements
-
science, computer science, computer engineering, electrical engineering, and optical engineering, and frequently collaborates with partners in industry, academia, and other government organizations
-
Requisition Id 14702 Overview: Oak Ridge National Laboratory is the largest US Department of Energy (DOE) science and energy laboratory, conducting basic and applied research to deliver
-
Requisition Id 15028 Overview: We are seeking a Postdoctoral Research Associate – Chemical Engineering to support research activities within the Isotope Applications Research Group (IARG) at Oak
-
workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A Ph.D. in evolutionary biology, ecology, plant biology, genomics, bioinformatics, computer science, plant
-
, earth sciences, geospatial science, computer science, or a closely related field, completed within the last 5 years. Preferred Qualifications: Prior knowledge and demonstrated expertise in one or more of
-
workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A PhD in evolutionary biology, plant biology, genomics, bioinformatics, mathematics, statistics, computer
-
Requisition Id 15282 Overview: The Fusion Energy Division (FED) at the Oak Ridge National Laboratory invites applications for a Nuclear Engineering position in the Blanket & Fuel Cycle Group. FED is
-
Requisition Id 15340 Overview: The Power System Resilience (PSR) Group in the Electrification and Energy Infrastructure Division (EEID) within the Energy Science and Technology Directorate (ESTD
-
, Neutron Sciences Directorate at Oak Ridge National Laboratory (ORNL). The qualified candidate will study, simulate and develop software for beam transport and beam dynamics in SNS superconducting linac