57 software-formal-method-phd Postdoctoral positions at Oak Ridge National Laboratory
Sort by
Refine Your Search
-
on designing system software for automating processes such as intelligent data ingestion, preservation of data/metadata relationships, and distributed optimization of machine learning workflows. Collaborating
-
, and measure success. Basic Qualifications: A PhD in materials science and engineering, mechanical engineering, aerospace engineering, polymer science, or a related discipline completed within the last
-
research methods on large, domain-specific scientific datasets. Major Duties/Responsibilities: Designing and developing foundational AI-driven techniques for the generation and exploration of complex, large
-
domain experts—such as those in neutron scattering and urban science—to apply and evaluate research methods on large, domain-specific scientific datasets. Major Duties/Responsibilities: Designing and
-
projects relevant to catalysis and critical materials. Contribute to methods development and integrate data science to accelerate simulations, analyze large datasets, and extract properties. Work in multi
-
to the implementation and perpetuation of values and ethics. Basic Qualifications: A PhD in inorganic, organic, polymeric, or physical chemistry or a closely related field, completed within the last five years. Preferred
-
in multiscale and multifidelity simulation techniques (ab initio methods at different fidelity, machine learning tight-binding, machine learning force fields, phase-field modeling, and/or kinetic monte
-
scientific outputs that may include peer-reviewed publications in top-tier water journals, professional scientific code/software contributions, and high-quality datasets. Candidates must also be willing
-
methods towards improving our understanding of unique target materials. You will be working with scientists, engineers, technicians, and safety and quality assurance staff to support material testing and
-
methods to work with a team of scientists in CSD to model chemical reactions important to determine the longevity of amorphous materials. That mechanistic information will be incorporated into process-based