Definitive Contract N0001419C1044
Award Date
9/25/19
Potential Completion Date
9/30/23
Potential Value
$6M
Federal Agency
Office of Naval Research
Awardee
Kestrel Institute
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Federal Contract Vehicle
Set-Aside Type
No Set-Aside Used
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
Basic Research
Number Of Offers Received
99
Legislative Mandate
Not listed
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...
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...
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...
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 $224,160.00 DARPA SBIR Phase I contract awarded to Kestrel Technology LLC, a small business based in Palo Alto, CA. The contract is for a research effort titled "Binary Assurance Through Proofs of Properties" and was set aside for total small businesses. Kestrel Technology specializes in software safety and security, providing binary analysis tools for malware detection and reverse engineering. This SBIR contract supports Kestrel's research and development of technologies...
This is a Cost Plus Fixed Fee contract awarded by the Office of the Secretary of Defense to Kestrel Corp, a small, veteran-owned business, for the development of a "Standoff Chemical & Explosive Threat Agile Sensor". The contract has a ceiling value of $2,883,950.00 and was awarded on June 10, 2016 with an ultimate completion date of June 1, 2018. Kestrel Corp has previously received Small Business Innovation Research (SBIR) program awards from the Air Force Research Laboratory for...
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...
This is a $13,270,639.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to SRI International, a large non-profit research and development institute. The contract supports a DARPA research project and does not have a small business set-aside designation. As a prime contractor, SRI International has subcontracted work to two organizations: Kestrel Institute, a non-profit computer science research center, and Siege Technologies, LLC, a...
This is a $16,609,930.00 definitive, cost-plus-fixed-fee contract awarded by the Naval Air Warfare Center to Grammatech, Inc., a for-profit organization based in Ithaca, NY. The contract, which has no set-aside designation, is for research and development work with a period of performance ending on October 31, 2022. Grammatech, Inc. is a provider of application security testing solutions, including its CodeSonar static analysis software, software licenses, maintenance, and professional services....
This is a $1,378,699.10 cost-plus-fixed-fee definitive contract awarded by the Office of Naval Research (ONR) to Knowledge Based Systems Inc. (KBSI), a for-profit small business. The contract, which has no set-aside designation, is for "Quantum Casual Modeling" research and development, with a period of performance through August 1, 2024. KBSI has a history of supporting various government agencies through research, development, testing, and integration services in areas such as...