Funding Wizard

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.

This Broad Agency Announcement (BAA) seeks revolutionary research ideas for topics not being addressed by ongoing I2O programs or other published solicitations. Potential proposers are highly encouraged to review the current I2O programs (http://www.darpa.mil/about-us/offices/i2o) and solicitations (http://www.darpa.mil/work-with-us/opportunities) to avoid proposing efforts that duplicate existing activities or that are responsive to other published I2O solicitations.

The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative proposals in the following areas of interest: Human Language Technology, computer vision, artificial intelligence, reasoning, and human-computer interaction. 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.

The overarching goal of the ANSR program is to advance hybrid AI algorithms, and develop evidence-based techniques that support confident assurance judgments for these algorithms. The program intends to explore diverse hybrid architectures that can be seeded with prior knowledge, acquire both statistical and symbolic knowledge through learning, and adapt learned representations. The program intends to demonstrate and evaluate hybrid AI techniques through DoD mission relevant use-cases where assurance and autonomy are mission critical.