Definitive Contract N6600121C4018
Award Date
4/1/21
Potential Completion Date
6/30/25
Potential Value
$4.6M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
Naval Information Warfare Systems Command
Awardee
Yale Univ
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 No Fee
Place of Performance
New Haven, CT 06520, USA
Solicitation Procedures
Basic Research
Number Of Offers Received
30
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
This is a $5,693,531 definitive cost-no-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Virginia Polytechnic Institute & State University (Virginia Tech) to support the V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program. This contract has no set-aside designation. The V-SPELLS program aims to develop tools that enable incremental modernization of legacy software systems through formal verification methods. The work...
This is a federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to The Trustees of Columbia University in the City of New York, operating as Columbia University through its Sponsored Projects Administration Division. The contract, valued at $6,882,655.00, is for "Maintaining Enterprise Resiliency via Kaleidoscopic Adaptation" and does not have a set-aside designation. The contract involves Columbia University conducting advanced research and development in...
The Defense Advanced Research Projects Agency (DARPA) awarded a $5,774,181 definitive contract to The Trustees of Columbia University in the City of New York (Columbia University) to develop architectures and design tools that enable system-on-chip (SoC) designers to safeguard hardware against software exploits of known hardware vulnerabilities. This contract, which is not set aside, supports DARPA's System Security Integrated Through Hardware and Firmware (SSITH) program. As a subcontractor,...
Vanderbilt University has been awarded a $3,368,751 definitive contract by the Defense Advanced Research Projects Agency (DARPA) to conduct research in support of the V-SPELLS program on an effort titled "CODES". The contract does not have a set-aside designation. The goal of the V-SPELLS program is to create practical tools that enable incremental modernization of legacy software systems through formal verification methods. Under this award, Vanderbilt will collaborate with...
This is a $9,597,980.00 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Georgia Tech Research Corporation (GTRC) for research in support of DARPA's V-SPELLS program. The contract does not have a set-aside designation. Under this contract, GTRC will develop practical tools to enable incremental modernization of legacy software systems through formal verification methods, addressing four key technical areas - automated program understanding, compositional...
This federal contract award, valued at $1,666,666.00, was granted by the Defense Advanced Research Projects Agency (DARPA) to The Trustees of Columbia University in the City of New York, operating as Columbia University through its Sponsored Projects Administration Division. The contract, which does not have a set-aside designation, is for a project titled "LEARNING VISUALLY GROUNDED LANGUAGE MODELS FROM VIDEO" and is scheduled for completion by December 31, 2022. This work is being...
This is a $979,495 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to The Trustees of Columbia University in the City of New York to develop "Interpretable and Robust Artificial Intelligence" technologies. The contract does not have a set-aside designation, indicating open competition. The work aligns with DARPA's mission to advance cutting-edge research and development of transformative defense technologies. This award builds on Columbia...
This is a $5,955,915 federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the Rector & Visitors of the University of Virginia (UVA), a public research university. The contract is for the "DOUBLE HELIX: HIGH ASSURANCE N-VARIANT SYSTEMS" program, which involves developing methods for enhancing software diversity and verifying the security properties of diversified systems. UVA is serving as the prime contractor, with several subcontractors including...
This is a $1,122,448 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to the University of Central Florida Board of Trustees Office of Research Division, doing business as UCF. The contract is for research on "Novel Hardware-Support for Ensuring Confidentiality, Integrity, and Availability on Emerging Non-Volatile Memories" in accordance with the Statement of Work (SOW). The contract does not have a set-aside designation. DARPA, the research and...
This federal contract award, valued at $13,455,530.00, was made by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract supports research in accordance with the Statement of Work for DARPA's V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) proposal titled "POLYMORPH". The V-SPELLS program aims to create tools that enable incremental modernization of legacy...