This is a $2,859,454.00 definitive cost-plus-fixed-fee contract awarded by the Naval Air Warfare Center to Galois, Inc., a for-profit Subchapter S Corporation, for research and development work. The contract has no set-aside designation and was awarded on April 10, 2017, with an ultimate completion date of April 6, 2020. Galois, Inc. is a small business that specializes in advanced research, development, and technology services, particularly in areas such as cybersecurity, artificial...
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 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 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 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 $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 $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 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,...