Definitive Contract 140D0423C0063
Award Date
8/11/23
Potential Completion Date
5/6/25
Potential Value
$1.8M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
Interior Business Center
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
AJ12 - General Science And Technology R&D Services; General Science And Technology; Applied Research
Set-Aside Type
Total Small Business
Federal Contract Vehicle
Extent Competed
Full and Open Competition after exclusion of sources
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
1
Legislative Mandate
Other Statutory Authority
National Interest Action
Not listed
Research Type
SBIR Program Phase II Action
Primary Consortia Member
Not listed
Similar Awards
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 $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 $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 SBIR Phase II contract, awarded to Galois, Inc., a small business subchapter S corporation, is valued at $1,497,445.00. The contract, titled "Generating Requirements Evidence with Analysis and System-Level Enforcement (GREASE)," will run through March 31, 2025. Galois specializes in advanced research, development, and technology services for various federal agencies, particularly the Department of Defense. The contract is a cost-plus-fixed-fee definitive contract, set...
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 Subchapter S Corporation based in Portland, Oregon. The contract, valued at $149,800.63, is for the development of a "SECURE, DECENTRALIZED, MODULAR TRANSACTION ARCHITECTURE WITH AN UNFORGEABLE, INDELIBLE, TRANSPARENT LEDGER" under the SBIR program. Galois is an established technology services provider for U.S. federal...
This is a $1,499,475 federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for a Small Business Innovation Research (SBIR) Phase II effort entitled "Software Implementation from Rigorous Formal Usable Requirements (SIRFUR)". The contract is a cost-plus-fixed-fee definitive contract with a completion date of September 5, 2023. The contract was awarded on September 30, 2020 and is set...
This is a $1,999,570.00 cost-plus-fixed-fee contract awarded by the Office of Naval Research (ONR), a defense agency, to Galois, Inc., a small business Subchapter S corporation. The contract is for a Small Business Innovation Research (SBIR) Program Phase II research and development project. The award has a total small business set-aside designation. Galois is a technology services company specializing in areas such as cybersecurity, artificial intelligence, and formal verification. The scope of...
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 $13,452,530.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a small business Subchapter S Corporation. 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 goal of V-SPELLS is to develop practical tools enabling incremental modernization of legacy...
This contract award to Galois, Inc., a small business Subchapter S Corporation, is for a DARPA SBIR Phase II project titled "BARC: Binary Analysis and Recompilation for CHERI". The $1,799,831.00 fixed-price contract has an ultimate completion date of August 21, 2025. Galois specializes in advanced research and development for national security applications, particularly in areas like cybersecurity, AI, and formal verification. This SBIR contract builds on prior DARPA-funded work and...