This funding opportunity supports research addressing correctness in scientific computing systems, including software and hardware correctness, formal verification, runtime analyses, and probabilistic correctness. It requires collaboration between experts in scientific computing and formal reasoning, covering topics from numerical libraries to multi-physics simulations and stochastic algorithms. The program emphasizes proving correctness alongside performance in scientific workflows.
Eligible applicants include U.S.-based non-profit research organizations, institutions of higher education, and DOE National Laboratories. Principal investigators must hold appropriate research or teaching appointments at eligible U.S. institutions or be DOE National Laboratory employees.
