75 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
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
-
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
-
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
-
opportunity by fostering a respectful workplace – in how we treat one another, work together, and measure success. Basic Qualifications: A PhD in materials science & engineering, physics, chemistry, or a
-
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
-
workflows to enable AI-readiness at scale. You will work on designing system software for automating processes such as intelligent data ingestion, preservation of data/metadata relationships, and distributed
-
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