Other Transaction Agreement HR00112290061

This is a $2,894,306 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the Kestrel Institute, a non-profit computer science research center. The contract is for the development of "FLEX: A More Scalable, Explainable, and Trustable Formal Inference Engine," which aligns with DARPA's work on formal methods, program analysis and verification, and artificial intelligence. The contract has a period of performance through February 14, 2022 and...

This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Institute, a non-profit computer science research center, for the DERIVATION MINER project. The $5,866,192.00 contract has an ultimate completion date of October 8, 2018. Kestrel Institute, which conducts research in formal methods, program synthesis and refinement, program analysis and verification, and formal modeling, has provided artificial intelligence software and tools to...

Kestrel Institute was awarded a $995,052 cost-plus-fixed-fee definitive contract by the Department of the Air Force Materiel Command Research Laboratory to deliver a formal toolchain for trusted and resilient software. Performance will occur in Palo Alto, California through October 2018. The Research Laboratory supports the Air Force's efforts to ensure mission assurance through analyzable, trustworthy systems, and this contract responds to those needs by providing a framework for developing...

This is a $6,444,832.00 cost plus fixed fee contract awarded by the Air Force Research Laboratory (AFRL) to the Kestrel Institute, a non-profit computer science research organization. The contract supports the AFRL's "Fight Tonight" program, which aims to revolutionize air operations planning through an AI-enabled interactive game engine for developing, rehearsing, and assessing combat plans. The contract was awarded on August 8, 2022 with a completion date of February 7, 2025. It...

The Johns Hopkins University Applied Physics Laboratory LLC (APL) was awarded a $3.2 million definitive cost-plus-fixed-fee contract by the Defense Advanced Research Projects Agency (DARPA) to deliver assurance cases for the certification of efficiently learned evaluated rapidly and automatically using theory of evidence (ACERAATE). Work will be performed in Laurel, Maryland through June 2022. As the prime contractor, APL will leverage its expertise in artificial intelligence and machine...

This is a $6,100,039.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to SRI International, a nonprofit research and development institute, for the "Programmers Assistant Synthesizing Code via Abstraction and Logical Inference (PASCALI)" program. The contract has no set-aside designation. As the prime contractor, SRI International has engaged several subcontractors, including Trustees of Boston University, University of...

<p>The Defense Advanced Research Projects Agency awarded a $1 million Other Transaction Agreement to Trusted Science And Technology, Inc., doing business as Trusted Science &amp; Technology Inc., for work on the Automated, Scalable Proof Improvement, Repair, and Extension program. The contract period runs from January 31, 2022 through September 30, 2023 and will be performed in Bethesda, Maryland. Pricing is structured as Other. No subcontractors were identified.</p>

This is a $5,997,613.00 federal contract awarded by the Department of the Navy Office of Naval Research to the non-profit Kestrel Institute. The contract, which does not have a set-aside designation, is for the PROTOGEN program and is a definitive contract with a cost-plus-fixed-fee pricing type. The completion date is September 30, 2023. Kestrel Institute is a computer science research center that provides R&amp;D services to the federal government, including work on formal methods, program...

This is a $1,701,706.00 Other Transaction Agreement awarded by the Defense Advanced Research Projects Agency (DARPA) to Palo Alto Research Center LLC, a subsidiary of Xerox Holdings Corporation, for the &quot;Grounded Artificial Intelligence Language Acquisition (GAILA)&quot; research and development effort. The contract has no set-aside designation. Palo Alto Research Center provides a range of research, engineering, and technical services to support federal initiatives for DARPA, the...

This is a $999,912.00 Other Transaction Agreement (OTA) awarded by the Defense Advanced Research Projects Agency (DARPA) to Palo Alto Research Center LLC, a subsidiary of Xerox Holdings Corporation, to provide artificial intelligence research and development services. The award does not have a set-aside designation. Palo Alto Research Center has a history of supporting various federal initiatives through both prime and subcontract awards, including efforts related to multi-physics modeling,...