Definitive Contract W31P4Q23C0034
Award Date
7/12/23
Potential Completion Date
7/31/25
Potential Value
$1.4M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
Aviation and Missile Command
Awardee
Kestrel Technology LLC
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Set-Aside Type
Total Small Business
Federal Contract Vehicle
Extent Competed
Full and Open Competition after exclusion of sources
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
11
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
SBIR Program Phase II Action
Primary Consortia Member
Not listed
Similar Awards
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 contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Kestrel Technology LLC, a small business, to conduct research and development on verified network stack synthesis for the seL4 microkernel. The $229,812.80 firm fixed-price contract was awarded under DARPA's Small Business Innovation Research (SBIR) program and is focused on developing technologies to make software safer through static analysis, binary assurance proofs, and test generation. Kestrel Technology...
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 Army Materiel Command Contracting Command Detroit Arsenal awarded Kestrel Technology LLC a $1.1 million cost-plus-fixed-fee contract to deliver SBIR Phase II research services. As a total small business set-aside, this definitive contract supports the Army's Small Business Innovation Research program goals. Kestrel will perform the work in Palo Alto, California over a three-year period ending in August 2023. No additional details were provided on subcontractors or the specific research to be...
<p>The Department of the Air Force Materiel Command Research Laboratory awarded Kestrel Technology LLC a $999,156 Definitive Cost Plus Fixed Fee contract to conduct Effects Driven Multi Domain Planning research as part of its Small Business Technology Transfer Phase II program. The contract, which runs from February 2023 through May 2025, will be performed in Palo Alto, California and has been set aside for total small businesses.</p>
Kestrel Corporation has been awarded a definitive contract valued at one million seven hundred thousand dollars by the Air Force Research Laboratory to continue research initiated under Phase II of the Small Business Innovation Research program. The two-year firm fixed price contract will support Kestrel's work on projects researched during Space Pitch Day 2021 and allow the New Mexico-based company to further develop technologies of interest to the Air Force Materiel Command at its...
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 firm-fixed-price definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to A2 Labs, LLC (doing business as Kryptowire, LLC), a small business cybersecurity research and development firm located in Arlington, Virginia. The contract, valued at $1,500,000.00, is for the development of a "Code Interposition Framework for Mobile Cyber Applications" under DARPA's SBIR (Small Business Innovation Research) Program Phase II. The contract has a total small...
Kestrel Corp has been awarded a $49,926 firm fixed price purchase order by the Air Force Materiel Command Research Laboratory to deliver novel 2D hyperspectral imaging for real-time, persistent awareness under the Small Business Innovation Research Program Phase I action. As a total small business set aside, this contract supports the Air Force's goal of developing innovative technologies through SBIR funding. Work will be performed by Kestrel Corp in Albuquerque, New Mexico, with a completion...
The U.S. Defense Advanced Research Projects Agency (DARPA) awarded a $1,487,264.16 Small Business Innovation Research (SBIR) Phase II contract to Grammatech, Inc., a small business located in Ithaca, New York. The contract, titled "Building Trustworthy Software Systems Using Big Code," was awarded on August 1, 2017 with a completion date of September 30, 2020. This definitive, cost-plus-fixed-fee contract focuses on developing advanced software analysis and security testing...