DARPA Intent-Defined Adaptive Software (IDAS)
HR001119S0074
Grants.gov  https://www.grants.gov/web/grants/view-opportunity.html?oppId=318271
FedBizOpps  https://www.fbo.gov/index?s=opportunity&mode=form&id=6786aa32955eb1ec4ad...

DARPA is soliciting innovative research proposals in the area of automating the evaluation of software assurance evidence to enable certifiers to rapidly determine that the system risk is acceptable. Proposed research should investigate innovative approaches that enable revolutionary advances in science, devices, or systems. Specifically excluded is research that primarily results in evolutionary improvements to the existing state of practice.