Definitive Contract N6600121C4023

Award Date 6/1/21
Potential Completion Date 2/20/26
Potential Value $13M
Ultimate Awardee
Not listed
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
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 $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...
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. This contract award is not associated with a set-aside program. The contract was issued under DARPA's Pipelined Reasoning Of Verifiers Enabling...
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 is a $1,799,837.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit small business Subchapter S Corporation. The contract is for "USER-DIRECTED ANALYSIS AND VERIFICATION OF MODIFIED BINARIES" under DARPA's Small Business Innovation Research (SBIR) Program Phase II. The contract has a period of performance through May 6, 2025. Galois is a leading provider of advanced research, development, and technology...
This is a $7,301,705.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, which has no set-aside designation, is for the Guaranteed Architecture for Physical Security (GAPS) program, which aims to develop hardware and software architectures with provable security interfaces to physically isolate high-risk transactions. Galois is a key partner...
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,...
This is a Small Business Innovation Research (SBIR) Phase I contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit S Corporation that provides advanced research and development services to U.S. federal government agencies. The contract, valued at $224,882.84, is for an effort entitled "Generating Requirements Evidence with Analysis and System Level Enforcement." The contract has a completion date of November 3, 2022 and is a firm fixed...
This is a $495,340.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 the MOIRAI: MULTI-FACTOR, ORTHOGONALLY SECURE, INCREMENTAL AND ROBUST AUTHENTICATION OF IDENTITY project, which aims to develop innovative technologies to increase military lethality through DARPA's Mosaic Warfare program. This contract was not set aside for any specific...
This federal contract award to Galois, Inc., a for-profit Subchapter S Corporation, was issued by the Defense Advanced Research Projects Agency (DARPA) for an "EMERGENT RISKS STUDY" with a ceiling value of $899,789.00. The contract is a Definitive Contract with a Cost Plus Fixed Fee pricing type, and it has a period of performance through February 28, 2025. The contract was not set aside for any specific business classification. The contract was awarded under a Broad Agency...
This federal contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit subchapter S corporation, to leverage artificial intelligence (AI) to guard online open-source networks. The $499,718.00 contract, which does not have a set-aside designation, is for an Other Transaction Agreement with a completion date of December 4, 2022. Galois, a company that provides advanced research, development, and technology services to U.S. federal government...

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 software systems through formal verification methods. This contract does not have a set-aside designation. Galois has established itself as a key partner for the Department of Defense and other federal agencies, providing advanced research, development, and technology services across multiple domains, including cybersecurity, artificial intelligence, and secure hardware design.

Generated 5/20/25, 2:21 PM