Definitive Contract FA875022C1530

Award Date 8/8/22
Potential Completion Date 2/7/25
Potential Value $6.4M
Ultimate Awardee
Not listed
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
12
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 $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 $1,500,000 cost-plus-fixed-fee definitive contract awarded by the Air Force Research Laboratory (AFRL) to Kitware Inc., a software company providing open source solutions for federal agencies. The contract is for research and development of artificial intelligence capabilities to support battle damage assessment. It was awarded under a Broad Agency Announcement seeking innovative techniques to estimate consequences and interdependencies across critical infrastructure systems like...
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 $11,775,415.00 cost-plus-fixed-fee definitive contract awarded by the Air Force Research Laboratory (AFRL) to CFD Research Corporation, a small business, for the Autonomous Decision Making in Technology (ADMIT) program. The contract has a completion date of September 14, 2028 and was awarded on June 14, 2024 with no set-aside designation. The work under this contract is related to the AFRL's Multi-Sensor Exploitation for Tactical Autonomy (META) program, which is seeking proposals...
This is a $37,953,363.00 cost plus fixed fee definitive contract awarded by the Air Force Research Laboratory to RTX BBN Technologies, Inc. for the AIR PLAN ENVIRONMENT FOR EXECUTION, GAMING, EXPLORATION, ASSESSMENT, AND REFINEMENT (APEX GEAR) program. The contract has no set-aside designation and is focused on developing an AI-enabled interactive game engine to revolutionize air operations planning. Major subcontractors include SHI International Corp, CACI, Inc. - Federal, and Breakaway, LTD....
The U.S. Air Force Research Laboratory (AFRL) awarded a $260,272 Firm Fixed Price contract to Shadowbox LLC for an "ARTIFICIAL INTELLIGENCE QUOTIENT" project. The contract has a completion date of February 20, 2024 and was awarded on August 19, 2021. The contract is not associated with any set-aside designation. Based on the name of the project, it appears the contract is focused on the development and delivery of artificial intelligence capabilities. No additional details about the...
This is a $9,944,403.00 Cost Plus Fixed Fee contract awarded by the Air Force Research Laboratory to Aptima Inc., a small business manufacturer, for "Gaming & Agent Development for Air Force Training & Readiness" under the SBIR Program Phase III. The contract has a period of performance through August 28, 2025. Aptima will be the prime contractor, with several small business subcontractors including Ball Aerospace & Technologies, Discovery Machine, Stottler Henke, Chi...
This is a firm fixed price purchase order contract awarded by the Air Force Research Laboratory (AFRL) to Smarter Reality, LLC, a veteran-owned small business, under the Small Business Innovation Research (SBIR) program. The contract is for the development of two strategy game simulations: a "Global Conflict Simulator" and a "USAF-X: Wing Commander Simulator." The purpose is to enhance Airman performance and training, as well as develop AI models. The total contract value...

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 was not set aside for any specific business type. Kestrel Institute has provided AI software and tools to support combat planning for the Air Force in the past, as well as research and prototyping of an ML proof assistant system for DARPA. This award expands on Kestrel's expertise in formal methods, program analysis, and autonomous systems to further the objectives of the Fight Tonight program.

Generated 1/22/25, 12:58 AM