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 $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 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 $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 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 $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 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 is a federal contract award from the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit subchapter S corporation, to perform work under the "21ST CENTURY CRYPTOGRAPHY (21CC) PHASE 1" project. The contract is a definitive, cost-plus-fixed-fee contract with a potential value of $5,421,246.00. The work is to be performed in Portland, OR and the completion date is September 30, 2021. This award is not set aside. The original federal contract opportunity...