58 formal-verification-computer-science Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
Computational/theoretical chemistry and/or physics, chemical engineering, materials or a closely related field completed within the last 5 years. Preferred Qualifications: Experience with coding, electronic
-
Requisition Id 15907 Overview: The Radiation Effects and Microstructural Analysis Group (REMAG) within the Materials Science and Technology Division at Oak Ridge National Laboratory (ORNL) is
-
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
-
Qualifications: Ph.D. in electrical engineering, computer science, or related discipline completed within the last five years. Demonstrated expertise in computed tomography (CT), with experience in sparse-view and
-
analysis necessary for simulating and understanding complex, multi-scale systems. The group is part of the Mathematics in Computation (MiC) Section of the Computer Science and Mathematics (CSM) Division. CSM
-
Requisition Id 16217 Overview: The Multiscale Biomedical Systems Group within the Advanced Computing in Health (ACH) section of the Computational Sciences and Engineering Division (CSED) at Oak
-
comparative research across Mojo, Julia, Rust, and vendor toolchains. Basic Qualifications: Ph.D. in Computer Science, Computer Engineering, or related field. Experience with LLMs or agentic AI frameworks
-
Characterization Section of the Center for Nanophase Materials Sciences (CNMS), Physical Sciences Directorate (PSD) at Oak Ridge National Laboratory (ORNL). As part of our research team, you will investigate
-
Requisition Id 16261 Overview: We are seeking a Postdoctoral Research Associate who will focus on the physics and materials science of PLD-synthesized twisted oxide and hybrid quantum materials
-
), Energy Science and Technology Directorate (ESTD), at Oak Ridge National Laboratory (ORNL). Major Duties/Responsibilities: Develop physics-based computational models, including Finite Element Analysis (FEA