Correctness for Scientific Computing Systems
This NSF–DOE program funds research that makes scientific computing systems provably correct while still achieving high performance. It targets methods for verifying and reasoning about both software and hardware behaviors, including numerical error, concurrency issues, and probabilistic correctness for statistical or uncertain workflows. Projects may also address how to detect and diagnose mi…
Source
Award
Eligibility
Keywords
Supporting Links
Documents
Similar Opportunities
-
Dynamics, Control and Systems Diagnostics
National Science Foundation
-
EPSCoR Research Infrastructure Improvement Program: Focused EPSCoR Collaborations (FEC)
National Science Foundation
-
Computational and Data-Enabled Science and Engineering
National Science Foundation
-
Cyberinfrastructure for Public Access and Open Science
National Science Foundation
-
Statistics
National Science Foundation
Find tens of thousands more opportunities — free
Scout accounts are free. Sign up to browse the full funding database, unlock the solicitation links and documents for this opportunity, and see how well each one fits your organization.
-
Tens of thousands of funding opportunities
Search and filter every grant and solicitation in Scout — all free, no credit card required.
-
Instant Fit Analysis
Let our grant expert AI score how well this opportunity aligns with your organization, strengths, gaps, and how to improve your chances of winning funding.
-
Source links & full documents
Jump straight to the solicitation and download every attachment.
-
Save opportunities & track deadlines
Keep the opportunities that fit in one place and stay ahead of every due date.
Already have an account? Sign In
Trusted by 500+ Happy Customers