This is a $149,987 firm-fixed-price definitive contract awarded by the U.S. Nuclear Regulatory Commission (NRC) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for the assessment of Model-Based Systems Engineering (MBSE) processes in the regulatory review context for digital instrumentation and controls of existing nuclear power plants. This work supports the NRC's mission to ensure the safety and security of nuclear facilities. Galois is an innovative small business that...
The U.S. Nuclear Regulatory Commission (NRC) awarded a $683,186 definitive Time and Materials contract to Galois, Inc., a for-profit Subchapter S Corporation, to conduct a systems engineering-based assessment of digital reactor protection systems. The objective is to identify areas where the systems engineering approach could support the NRC's migration towards a risk-informed, performance-based regulatory review practice for these systems. The original solicitation was a non-set-aside...
This is a $749,999 Firm Fixed Price definitive contract awarded to Galois, Inc., a small business Subchapter S Corporation, by the Shared Services Center of the National Aeronautics and Space Administration (NASA). The contract is for the "Fault Recovery Instruction Generation Using Automata Derived from Traditional Engineering Models (FRIGATE)" project, which aims to develop advanced techniques for fault recovery in critical systems. The contract has a total small business...
This federal contract award to Galois, Inc., a small business for-profit Subchapter S Corporation, was made by the Office of Naval Research (ONR) for "CRYPTOGRAFIC ANALYSIS, VERIFICATION, EXPLORATION, AND SYNTHESIS" research. The $149,670.00 Firm Fixed Price contract, awarded on July 11, 2016, is part of the Small Business Innovation Research (SBIR) Phase I program and has a completion date of November 10, 2017. Galois specializes in advanced research and technology services for U.S....
This is a federal contract award from the Department of the Navy Naval Air Systems Command to Galois, Inc., a for-profit Subchapter S corporation, for research and development services under the Small Business Innovation Research (SBIR) Program Phase II. The $1,999,385.00 contract is a cost-plus-fixed-fee definitive contract with a completion date of August 14, 2019. It was awarded on August 8, 2017 and is set aside for small businesses. Galois specializes in high-assurance systems and has...
This is a Small Business Innovation Research (SBIR) Phase I award from the Naval Air Warfare Center (NAWC), a Defense agency, to Galois, Inc., a for-profit Subchapter S Corporation. The award has a ceiling value of $239,822 and is a Firm Fixed Price, Definitive Contract. The contract is set aside for total small businesses. Galois, Inc. is an innovative technology company that specializes in advanced research, development, and solutions for federal government agencies, particularly in areas such...
This is a SBIR Phase II research and development contract awarded by the Office of Naval Research to Galois, Inc., a small business prime contractor. The $1,999,270.00 cost-plus-fixed-fee contract, awarded on March 15, 2017, is for an unspecified SBIR research project, with a completion date of December 4, 2020. Galois, a for-profit Subchapter S Corporation, specializes in advanced technologies such as cybersecurity, AI, and formal verification for federal government clients, particularly the...
This is a $1,199,437.00 Cost Plus Fixed Fee contract awarded by the Naval Sea Systems Command (NAVSEA) to Galois, Inc., a for-profit Subchapter S Corporation small business. The contract is for a SBIR Program Phase II research effort, classified as an SBIR 873AUTHORITY contract. The contract has a period of performance through October 2, 2025. Galois will perform the work in Portland, OR. This SBIR Phase II contract likely continues research and development efforts initiated under a previous...
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 $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...