Government Grants
Business Grants
Home Owner Programs
Federal Programs
About Us
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.
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.
Agency: Department of Defense
Office: DARPA - Information Innovation Office
Estimated Funding: $25,000
Office: DARPA - Information Innovation Office
Estimated Funding: $25,000
Obtain Full Opportunity Text:
SAM.gov Contract Opportunities
Additional Information of 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.
Full Opportunity Web Address:
https://sam.gov/opp/ccee3b24b035414caa7e3a6357ce9716/view
Contact:
Agency Email Description:
Rabatgrants@state.gov
Agency Email:
Date Posted:
2023-03-29
Application Due Date:
Archive Date:
2023-10-25
Social Entrepreneurship
Spotlight
Google+ and Mashable Holds First Charity Hangout-a-thon
Mashable is teaming up with Google+ for its first-ever Hangout-a-thon on Dec. 3 for Giving Tuesday. The Hangout-a-thon is a phoneathon for the connected generation of the 21st century, which features 12 hours of captivating guests sharing updates on some of the most disruptive nonprofits working today.
Learn How to Identify and Avoid Grant Scams
