Definitive Contract FA875020C0534

Award Date 9/16/20
Potential Completion Date 9/30/23
Potential Value $1.7M
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
25
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 definitive, cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for verification engineering services to support DARPA's Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) program, which aims to advance proof engineering capabilities and integrate formal verification methods into continuous software development pipelines. There is no set-aside...
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 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 $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 $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 $1,479,489.00 Definitive Cost Plus Fixed Fee contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation, for the Generative AI for Rigorous Digital Engineering (GAIRDE) project. The contract has an ultimate completion date of January 12, 2026. Galois specializes in advanced research and technology services for federal agencies, particularly within the Department of Defense. This award is not set aside for any specific...
This is a $1,499,523.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, titled "PRATTLE: DECEIVING INTRUDERS WITH BEGUILING NOISE," has a completion date of September 25, 2019 and was awarded on September 26, 2016. Galois, Inc. is a small business that specializes in advanced research, development, and technology services for federal...
This is a $550,556 Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation. The contract, which does not have a set-aside designation, is for the "XAI ADMETUS STUDY" - research addressing fundamental questions related to fielding effective human-AI decision-making teams. The contract was issued under DARPA's Information Innovation Office (I2O) Broad Agency Announcement, which seeks...
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 $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 approaches to design military-relevant cyber-physical systems (CPS), with the goal of reducing design cycles from years to months and enhancing innovation. Galois, Inc. is a specialized technology services provider that has established itself as a key partner for DARPA and other defense/civilian agencies, delivering innovative solutions for advanced research, development, and technology services. This contract award demonstrates Galois' capabilities in areas like high-assurance systems, cybersecurity, AI, formal verification, and secure hardware design.

Generated 4/23/25, 12:46 PM