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 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 $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 $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 $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 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 $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 $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 $21,350,604.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, titled the "SAFE DOCUMENTS (SAFEDOCS) PROGRAM," aims to develop novel verified programming methodologies for building high-assurance parsers for existing electronic data formats, as well as methodologies for simplifying and reducing these formats to their safe,...
This federal contract award, valued at $8,416,302.00, was made by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a small business subchapter S corporation located in Portland, Oregon. The contract, titled "DISCOVERING AND EXPLAINING THREATS OF EMERGENT COMPUTATION TO ENABLE TRANSFORMATIONS (DETECT)", is a cost-plus-fixed-fee definitive contract with a completion date of September 7, 2026. The original solicitation, Broad Agency Announcement HR001121S0040, sought...
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, analysis, and reporting capabilities for intelligence agencies. The contract is not set aside for small businesses. Galois has significant experience working on advanced technological research and development projects for federal government agencies, particularly in the areas of cybersecurity, artificial intelligence, and formal verification.