23 model-checking Postdoctoral positions at Oak Ridge National Laboratory in United States
Sort by
Refine Your Search
-
characterization, and predictive fault tolerance in HPC systems. Architectural exploration and performance modeling of high-bandwidth memory (HBM) and DDR memory systems in the context of data-intensive scientific
-
(e.g., deep learning, implicit neural representations, diffusion models) for CT reconstruction, enhancement, and defect detection. Advance algorithms for multi-modal tomography (X-ray, neutron, electron
-
materials that may serve as model systems displaying quantum behaviors. It will also provide opportunities for collaboration with quantum computing efforts within the Quantum Science Center, guiding and
Searches related to model checking
Enter an email to receive alerts for model-checking positions