Research IAW SOW in support of DARPA V-spells proposal titled polymorph.
Ended Definitive Contract Awarded Last action
- Contract number
- N6600121C4023
- Awardee
-
Galois, Inc. UEI MKT6C6U2BRM4
- Awarding agency
-
Naval Information Warfare Systems Command
Department of the Navy, Department of Defense
- Obligated
- $11,998,829
Award facts
- Opportunity
-
- Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) Pre-Solicitation · HR001120S0058 · Posted Jul 24, 2020
- Contract value 83% obligated
-
- $11,998,829.00 Current, with exercised options
- $14,410,830.00 Potential, with all options
- Completion date 100% complete
- Current and potential, with all options
- Contracting staff
- Funding agency
- Defense Advanced Research Projects Agency Department of Defense
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 30 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Portland, OR 97204, USA
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $1,035,737 | |
| Funding Only Action | $322,183 | |
| Additional Work (new agreement, FAR part 6 applies) | $238,199 | |
| Supplemental Agreement for work within scope | $3,000 | |
| Supplemental Agreement for work within scope | $413,436 | |
| Supplemental Agreement for work within scope | $613,751 | |
| Supplemental Agreement for work within scope | $231,739 | |
| Funding Only Action | $739,263 | |
| Exercise an Option | $728,858 | |
| Other Administrative Action | $447,676 | |
| Funding Only Action | $647,506 | |
| Other Administrative Action | $1,567,204 | |
| Funding Only Action | $650,000 | |
| Supplemental Agreement for work within scope | $34,327 | |
| Funding Only Action | $1,310,950 | |
| Funding Only Action | $815,000 | |
| Other Administrative Action | $0 | |
| Supplemental Agreement for work within scope | $0 | |
| Original award | $2,200,000 |
Show all 19
About this award
Galois, Inc., a Portland, Oregon-based research and development firm specializing in high-assurance systems and formal verification, was awarded a $14.4M cost-plus-fixed-fee contract by the Defense Advanced Research Projects Agency (DARPA) on June 1, 2021, to conduct research in support of the Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) program under the POLYMORPH proposal. The contract, which carries no set-aside designation, is structured as a definitive contract with an ultimate completion date of February 20, 2026, and includes a statement of work revision with additional taskings and incremental funding. The research supports DARPA's broader initiative to develop practical tools enabling incremental modernization of legacy software systems through formal verification methods, addressing critical modernization challenges faced by federal agencies.
Under this award, Galois will contribute to one or more of the four primary technical areas of the V-SPELLS program: automated program understanding, compositional domain-specific language programming, verified layer flattening and distribution, and demonstration and evaluation. This contract represents part of DARPA's approximately $40M investment across multiple awards over four years to create a capability for piece-by-piece enhancement of software components with correct-by-construction and compatible-by-construction verified code. Galois' selection reflects its established expertise in software security, formal methods, and complex technological solutions for the Department of Defense, building on the company's extensive portfolio of DARPA contracts and related research and development programs.
Quick answers
Who was awarded contract N6600121C4023?
N6600121C4023 was awarded to Galois, Inc. by Naval Information Warfare Systems Command (Department of the Navy) on June 1, 2021.
How much is contract N6600121C4023 worth?
The government has obligated $11,998,829 on N6600121C4023. Its potential value, with all options, is $14,410,830.
Which agency awarded contract N6600121C4023?
Naval Information Warfare Systems Command (Department of the Navy) awarded N6600121C4023, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract N6600121C4023 competed?
The extent of competition for N6600121C4023 was full and open competition. The government received 30 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award