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 designation for this contract. Galois is a small business that specializes in high-assurance systems, cybersecurity, artificial intelligence, and other advanced technologies, and has received numerous prime and subcontract awards, grants, and other transaction agreements from various federal agencies, particularly within the Department of Defense. This contract award positions Galois as a key partner in DARPA's ongoing research and development efforts to ensure the trustworthiness of critical Department of Defense systems.
Generated 9/16/24, 10:53 AM