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
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)

FederalGrants.com is not endorsed by, or affiliated with, any government agency. Copyright ©2007-2023 FederalGrants.com