Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS)
The summary for the Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) grant is detailed below.
This summary states who is eligible for the grant, how much grant money will be awarded, current and past deadlines, Catalog of Federal Domestic Assistance (CFDA) numbers, and a sampling of similar government grants.
Verify the accuracy of the data FederalGrants.com provides by visiting the webpage noted in the Link to Full Announcement section or by contacting the appropriate person listed as the Grant Announcement Contact.
If any section is incomplete, please visit the website for the DARPA Information Innovation Office, which is the U.S. government agency offering this grant.
Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS): 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.
| Federal Grant Title: | Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) |
| Federal Agency Name: | DARPA Information Innovation Office (DOD-DARPA-I2O) |
| Grant Categories: | Science and Technology |
| Type of Opportunity: | Discretionary |
| Funding Opportunity Number: | HR001123S0020 |
| Type of Funding: | Cooperative Agreement |
| CFDA Numbers: | 12.910 |
| CFDA Descriptions: | Information not provided |
| Current Application Deadline: | September 25th, 2023 |
| Original Application Deadline: | September 25th, 2023 |
| Posted Date: | March 29th, 2023 |
| Creation Date: | March 29th, 2023 |
| Archive Date: | October 25th, 2023 |
| Total Program Funding: | |
| Maximum Federal Grant Award: | |
| Minimum Federal Grant Award: | |
| Expected Number of Awards: | |
| Cost Sharing or Matching: | No |
| Last Updated: | March 29th, 2023 |
- Applicants Eligible for this Grant
- 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.
- Link to Full Grant Announcement
- SAM.gov Contract Opportunities
- Grant Announcement Contact
- BAA Coordinator
PROVERS@darpa.mil
- Similar Government Grants
- • Compartmentalization and Privilege Management (CPM)
- • Faithful Integration and Reverse-engineering and Emulation (FIRE)
- • Multiobjective Engineering and Testing of ALloy Structures (METALS)
- • NanoWatt Platforms for Sensing, Analysis, and Computation (NaPSAC)
- • Miniature Integrated Thermal Management Systems for 3D Heterogeneous Integration (Minither...
- • Wide Band Gap Semiconductors for RF Applications (WBGS-RF)
- • Robust Integrated Power Electronics (RIPE)
- • Microantenna Arrays:Technology and Applications (MIATA)
- More Grants from the DARPA Information Innovation Office
- • Compartmentalization and Privilege Management (CPM)
- • Information Innovation Office (I2O) Office-wide
- • Environment-driven Conceptual Learning (ECOLE)
- • Assured Neuro Symbolic Learning and Reasoning (ANSR)
- • Resilient Supply-Demand Networks (RSDN)