Definitive Contract N6600122C4027
Award Date
9/8/22
Potential Completion Date
9/7/26
Potential Value
$8.4M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
Naval Information Warfare Systems Command
Awardee
Galois, Inc.
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
PSC Category
AC15 - National Defense R&D Svcs; Department Of Defense - Military; R&D Facilities & Maj Equip
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
Portland, OR 97204, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
16
Legislative Mandate
Employment Eligibility Verification
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
This is a $21,799,877.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract is for verification engineering services to support real-world software engineering for critical Department of Defense systems, with the goal of ensuring such systems remain free of defects and vulnerabilities. The contract stems from a DARPA pre-solicitation seeking...
This is a $1,699,477.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract is for "Exploration Service for Synthesis and Evaluation of Novel CP" and has an ultimate completion date of September 30, 2023. This contract award is not set-aside. The contract is based on a Broad Agency Announcement (BAA) solicitation that sought proposals for AI-based...
This DARPA contract with Galois, Inc. for $13,740,421.00 is focused on developing "robust, assured diversity for software security." The contract was awarded on May 13, 2015 with an ultimate completion date of October 25, 2019. It is a cost-plus-fixed-fee definitive contract, without a set-aside designation. The contract involves several subcontractors: Trail of Bits Inc., University of California Irvine, and Immunant Inc. These subcontractors are conducting research and development on...
This is a $13,455,530.00 cost-plus-fixed-fee contract awarded 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) program, which aims to develop tools that enable incremental modernization of legacy software systems through formal verification...
This is a $8,589,384.00 Cost Plus Fixed Fee federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract, titled "MERGED ANALYSIS TO PREVENT EXPLOITS (MATE)", is for research, development, and technology services related to DARPA's Global Application Research, Development, Engineering and Maintenance (GARDEM) software toolset, which provides data visualization,...
Galois, Inc. was awarded a $992,037 Other Transaction Agreement by the Defense Advanced Research Projects Agency (DARPA) to perform work related to "Synthesizing Evidence of Emergent Computation." The prime contractor, Galois, Inc., will conduct the work in Portland, Oregon over an 18-month period ending in July 2021. DARPA's mission involves pushing the frontiers of technology for use by the military, so this contract is likely related to DARPA's efforts to advance computational...
This is a $6,081,986.00 federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit small business. The contract, titled "TRANSPARENT COMPUTING ADAPT GALOIS", is a definitive, cost-plus-fixed-fee contract with an ultimate completion date of August 30, 2019. The contract does not have a set-aside designation. Galois, Inc. is the prime contractor, with two major subcontractors: Palo Alto Research Center LLC and the University of...
This is a $21,350,604.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract, titled the "SAFE DOCUMENTS (SAFEDOCS) PROGRAM," aims to develop novel verified programming methodologies for building high-assurance parsers for existing electronic data formats, as well as methodologies for simplifying and reducing these formats to their safe,...
Galois, Inc. was awarded a $3,324,118 cost-plus-fixed-fee definitive contract by the Defense Advanced Research Projects Agency to conduct research under the agency's Leveraging Symbolic Representations for Safe and Assured Learning program. The contract has no set-aside designation and work is to be performed in Portland, Oregon through December 31, 2021. The award stems from a 2018 Broad Agency Announcement seeking proposals in artificial intelligence, data science, symbiosis, analytics, and...
This is a $2,401,607.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for the Cyber Security Analysis and Technology for RSGS program, with work to be performed in Portland, OR. Galois provides advanced research, development, and technology services to U.S. federal government agencies, primarily in areas such as cybersecurity, artificial intelligence, machine...