Definitive Contract N6600118C4010
Award Date
2/15/18
Potential Completion Date
2/14/22
Potential Value
$2.9M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
Naval Information Warfare Systems Command
Awardee
Kestrel Institute
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Set-Aside Type
No Set-Aside Used
Federal Contract Vehicle
Extent Competed
Full and Open Competition
Major Defense Program
Not listed
Pricing Type
Cost Plus Fixed Fee
Place of Performance
Palo Alto, CA 94304, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
62
Legislative Mandate
Economy Act
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
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 Defense Advanced Research Projects Agency (DOD) awarded a $998,706 Other Transaction Agreement to Kestrel Institute of Palo Alto, California to provide an ML Proof Assistant for the ACL2 system. The contract will run from January 31, 2022 through September 30, 2023 in Palo Alto. Kestrel Institute will develop an ML Proof Assistant to support formal verification of software and hardware designs using the ACL2 theorem prover under an other pricing structure. No subcontractors were identified.
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&D services to the federal government, including work on formal methods, program...
This is a $1,700,000.00 Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA), a defense agency, to Inferlink Corp, a small business based in El Segundo, California. The contract is for research in accordance with the Statement of Work (SOW) and includes an update to the Federal Acquisition Regulation (FAR) clauses as well as an update to the Contracting Officer's Representative (COR). The contract is designated as a "Total Small Business"...
This is a $16,902,748.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kitware Inc., a small business software company specializing in open-source solutions and advanced technical computing services for federal agencies. The contract is for "Aligned Moral Language Models with Interpretable and Graph-Based Knowledge" and includes an Information Technology Modernization (ITM) Option (Phase II). This contract is not set...
This is a $8,623,487.00 Cost Plus Fixed Fee contract awarded by the Air Force Research Laboratory (AFRL) to the Charles Stark Draper Laboratory, Inc., a non-profit research and development organization. The contract, titled "DEEPCODE: AN EPISTEMOLOGICAL APPROACH TO SOFTWARE ASSURANCE THROUGH DEEP LEARNING", does not have a set-aside designation. As the prime contractor, Draper has engaged several subcontractors, including Trustees of Boston University and the Leland Stanford Junior...
This is a $1,157,899.83 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, under the Small Business Innovation Research (SBIR) program. The contract is for the RCLAIM: CORPUS- AND LOGIC-BASED AUTOMATED IDENTIFICATION OF MALWARE research and development effort, which aims to develop software tools and technologies for improving the analysis and detection of malware. Kestrel Technology LLC specializes in...
The Defense Advanced Research Projects Agency (DARPA) has awarded a $1,436,205.00 Small Business Innovation Research (SBIR) Phase II contract to Kestrel Technology LLC, a small business, for the effort entitled "Binary Assurance Through Proofs of Properties". This definitive, cost-plus-fixed-fee contract is set to run through July 31, 2025 and is focused on developing technologies related to software assurance, testing, and planning. Kestrel Technology specializes in binary analysis...