70 software-formal-method-phd positions at Oak Ridge National Laboratory in postdoctoral
-
Requisition Id 16802 Overview: We are seeking a Postdoctoral Research Associate for the development and application of advanced multiphysics simulations, and machine learning (ML) methods relevant
-
and aspects related to safety and best practices. The candidate will make extensive use of state-of-the-art imaging, spectroscopy (Raman, electron microscopy, infrared, etc.) and scattering methods
-
operational and application software; and educates and trains the next generation of computational scientists. A postdoctoral associate position is available immediately for candidates interested in and capable
-
still providing robust privacy guarantees. Develop novel privacy-preservation methods that accommodate the diverse privacy requirements of a large number of clients. Develop novel mathematically rigorous
-
Division (MSTD) at Oak Ridge National Laboratory (ORNL), and who will focus on ORNL's continued development of methods to quantify shear (yield) strength of monolithic ceramic materials as a function of
-
another, work together, and measure success. Basic Qualifications: A PhD in chemistry, nuclear chemistry, or a related discipline, completed within the last five years Preferred Qualifications: Candidates
-
simulation tasks. Develop and maintain HPC-ready software workflows for distributed training, large-scale inference, scalable data ingestion, and data management on leadership-class computing systems and
-
Requisition Id 16736 Overview: We are seeking a Postdoctoral Research Associate who will work with a multi-disciplinary group of experts in economics, engineering, software development, and building
-
platform. The successful candidate will (1) integrate heterogeneous sensors and onboard computing hardware; (2) develop methods for LiDAR-based simultaneous localization and mapping (SLAM), autonomous
-
Requisition Id 16540 Overview: We are seeking a Postdoctoral Research Associate who will develop and apply computational methods based on electronic structure theory and artificial intelligence