Definitive Contract FA865015C7557

Award Date 6/26/15
Potential Completion Date 8/30/19
Potential Value $6.1M
Contracting Federal Agency
Air Force Research Laboratory
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
2
Legislative Mandate
Not listed
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 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 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 $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 $5,250,239.00 cost-plus-fixed-fee definitive contract awarded by the Naval Information Warfare Systems Command (NAVWAR) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for research and development services in support of the Defense Advanced Research Projects Agency's (DARPA) Artificial Multi-Pixel (AMP) program. The contract does not have a set-aside designation and is scheduled for completion by July 14, 2024. Galois, Inc. is an innovative small business that...
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 $16,640,550.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 Data Protection in Virtual Environments (DPRIVE) program, which aims to develop a hardware accelerator to reduce the computation time of fully homomorphic encrypted data to within one order of magnitude of unencrypted data. The contract has a period of performance...
This is a new $1,249,948.88 Firm Fixed Price SBIR Phase II contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a small business for-profit subchapter S corporation. The contract is set aside for small businesses and runs through September 27, 2024. The contract is for advanced research and development services in support of a new DARPA SBIR Phase II solicitation, likely focused on areas such as cybersecurity, artificial intelligence, machine learning,...
This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation, for "ASSURED INTEGRITY MONITORING" services. The contract has a ceiling value of $1,800,280.00 and a final completion date of December 21, 2018. The contract is not set aside for any specific business type. Galois, Inc. is a small business that specializes in advanced research, development, and technology services for U.S....

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 Edinburgh. The contract involves research and development on advanced technologies such as cybersecurity, artificial intelligence, machine learning, formal verification, and secure hardware design. This work supports DARPA's mission of developing transformative technologies for national security.

Galois also holds several other significant DARPA contracts, including an Other Transaction Agreement for rapid prototyping, an Indefinite Delivery/Indefinite Quantity (IDIQ) contract for the Computable Models Program, and a $200 million SBIR Phase III IDIQ contract for unmanned systems. These contracts further demonstrate Galois' expertise in high-assurance systems and advanced research and development for defense applications.

Generated 4/2/25, 6:57 PM