Correctness for Scientific Computing Systems

August 11, 2026

*Who May Submit Proposals: Proposals may only be submitted by the following: -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. - <span>Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members.</span> <ul> <li>DOE National Laboratories.</li> </ul> *Who May Serve as PI: By the submission deadline, any PI, co-PI, or other senior/key personnel must: o be a DOE National Laboratory employee; or o must hold either: <ul> <li> a tenured or tenure-track position, or</li> </ul> <ul> <li> a primary, full-time paid appointment in a research or teaching position</li> </ul> at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible. A project must have at least one (co)-PI with expertise in scientific computing and at least one (co)-PI with expertise in formal reasoning and mechanized proving of properties of programs.