1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsRFI: Levels of Resilience through Formal Methods is sponsored by DARPA. Seeks information on approaches, tools, and practices for achieving graduated levels of software resilience and assurance.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
DARPA – Request for Information – Levels of Resilience through Formal Methods DARPA – Request for Information – Levels of Resilience through Formal Methods DARPA’s Information Innovation Office is seeking information on approaches, tools and practices for achieving graduated levels of software resilience and assurance aligned to mission needs, cost and lifecycle constraints.
Respondents should provide information, technical approaches, analyses, and recommendations describing how graduated, incrementally adoptable levels of increasingly rigorous, mechanized, and automated software assurance can be defined, implemented, measured, and sustained across development, sustainment, and modernization activities.
Responses should clearly articulate practical implementation strategies, measurable outcomes, and transition considerations associated with each proposed assurance level.
Information is requested on one or more of the following topics: graduated levels of software assurance incremental adoption and composition operational and economic considerations transition and acquisition implications Responses are due 12 June 2026 via email to ResilientSoftwareSystems@darpa. mil . RFI – Levels of Resilience through Formal Methods – DARPA-SN-26-71 You may be also interested in ...
Australian Aviation Summit – 6 August 2026 The Australian Aviation Summit will be held 6 August 2026 in... DAIRNet – Defence AI Seminar Series The next Defence AI Seminar will be held 11 June... DSTG is pleased to invite proposals from academic and industry...
According to the current listing, eligibility includes: Open to all qualified entities. Confirm the full requirements in the official notice before applying.
The published deadline was June 12, 2026, which has passed. Check the official notice for any future application windows before investing time in a proposal.
RFI: Levels of Resilience through Formal Methods is funded by DARPA. Verify program details on the funder's official page before applying.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
DPA26BZ06-DV023 is a Direct-to-Phase-II SBIR paying $700,000 over 18 months plus a $500,000 option. The physics demands 256x more transmit power than the systems that qualify you to compete, and DARPA will not accept modeling alone as proof. Here is the eligibility wall, the five engineering problems, and who can realistically win it before the October 21 close.
Read articleRelease 6's SBIR topics got the attention. Its three STTR topics — SHIELDER, fuel-flexible electric propulsion, and hypersonic wind tunnel noise diagnostics — are all Direct-to-Phase-II, all require a research institution to perform at least 30 percent of the work, and all close October 21, 2026. The feasibility gates are the real filter.
Read articleDPA26BZ06-DV026 offers $300,000 at Phase I or $1,800,000 as a single Direct-to-Phase-II tranche with no options. The deliverable is a simulated auction market that measures whether AI agents deceive, collude, or manipulate the humans they serve — measured entirely from the outside. Here is the 90% efficiency gate, the team composition most bidders will get wrong, and why this topic sits in DARPA's biology office.
Read article