This grant, Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS), from the Defense Advanced Research Agency (DARPA), is for advancing the field of proof engineering. DARPA is soliciting innovative research proposals specifically focused on the development of comprehensive knowledge, advanced methods, and practical tools. The primary purpose is to integrate these proof engineering capabilities seamlessly into a continuous software development pipeline. This integration will make robust verification practices accessible to traditional software developers and engineers, ensuring that critical Department of Defense (DoD) systems remain demonstrably free of common defects and vulnerabilities. The initiative encompasses research in proof development, maintenance, deployment, and management, aiming for inherently more secure and reliable system software.
Opportunity ID: 347194
General Information
| Document Type: | Grants Notice |
| Funding Opportunity Number: | HR001123S0020 |
| Funding Opportunity Title: | Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) |
| Opportunity Category: | Discretionary |
| Opportunity Category Explanation: | – |
| Funding Instrument Type: | Cooperative Agreement Grant Other Procurement Contract |
| Category of Funding Activity: | Science and Technology and other Research and Development |
| Category Explanation: | – |
| Expected Number of Awards: | – |
| Assistance Listings: | 12.910 — Research and Technology Development |
| Cost Sharing or Matching Requirement: | No |
| Version: | Synopsis 1 |
| Posted Date: | Mar 29, 2023 |
| Last Updated Date: | Mar 29, 2023 |
| Original Closing Date for Applications: | Sep 25, 2023 See Full Announcement for details. |
| Current Closing Date for Applications: | Sep 25, 2023 See Full Announcement for details. |
| Archive Date: | Oct 25, 2023 |
| Estimated Total Program Funding: | – |
| Award Ceiling: | – |
| Award Floor: | – |
Eligibility
| Eligible Applicants: | Others (see text field entitled “Additional Information on Eligibility” for clarification) |
| Additional Information on Eligibility: | All responsible sources capable of satisfying the Government’s needs may submit a proposal that shall be considered by DARPA. See the Eligibility Information section of the BAA for more information. |
Additional Information
| Agency Name: | DARPA – Information Innovation Office |
| Description: | The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research proposals in the area of proof engineering, to include proof development, maintenance, deployment, and management. Proposals that will drive advances in proof engineering, providing for the development of knowledge, methods, and tools enabling integration of capabilities into a continuous software development pipeline accessible to traditional software developers and engineers, ensuring that critical DoD systems remain free of categories of defects and vulnerabilities. |
| Link to Additional Information: | SAM.gov Contract Opportunities |
| Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
BAA Coordinator
PROVERS@darpa.mil Email:PROVERS@darpa.mil |
Version History
| Version | Modification Description | Updated Date |
|---|---|---|
Related Documents
Folder 347194 Full Announcement-HR001123S0020 -> HR001123S0020.pdf
Folder 347194 Full Announcement-HR001123S0020 -> PROVERS_Proposal_Summary_Slide_.pdf
Packages
| Agency Contact Information: | BAA Coordinator PROVERS@darpa.mil Email: PROVERS@darpa.mil |
| Who Can Apply: | Organization Applicants |
| Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
|---|---|---|---|---|---|---|
| 12.910 | PKG00280873 | Mar 29, 2023 | Sep 25, 2023 | View |
Package 1
Mandatory forms
347194 RR_SF424_5_0-5.0.pdf
347194 AttachmentForm_1_2-1.2.pdf
347194 RR_KeyPersonExpanded_4_0-4.0.pdf
347194 RR_PersonalData_1_2-1.2.pdf
Optional forms
347194 SFLLL_2_0-2.0.pdf
347194 RR_Budget_3_0-3.0.pdf
347194 RR_Budget10_3_0-3.0.pdf
Share This Post, Choose Your Platform!
About the Author: osnqt
