Verification engineering for real-world software engineers
Active Definitive Contract Awarded Last action
- Contract number
- FA875024CB044
- Awardee
-
Galois, Inc. UEI MKT6C6U2BRM4
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $9,810,315
Award facts
- Opportunity
-
- Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) Pre-Solicitation · HR001123S0020 · Posted Mar 29, 2023
- Contract value 72% obligated
- $13,613,505.00 Current and potential, with all options
- Completion date 71% 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 · 23 offers Basic Research
- Pricing
- Cost Plus Fixed Fee
- Place of performance
- Portland, OR 97204, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $704,340 | |
| Funding Only Action | $1,896,157 | |
| Supplemental Agreement for work within scope | $0 | |
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $1,283,358 | |
| Funding Only Action | $773,226 | |
| Funding Only Action | $558,696 | |
| Funding Only Action | $1,500,000 | |
| Original award | $3,094,538 |
About this award
The Defense Advanced Research Projects Agency awarded a $13.61 million definitive contract to Galois, Inc. for verification engineering for real-world software engineers on March 25, 2024, with an ultimate completion date of November 24, 2027.
The contract is cost-plus fixed fee with no set-aside. Place of performance is Portland, OR. The originating solicitation is the Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) program, which seeks to advance proof engineering capabilities by integrating formal verification methods into continuous software development pipelines. The program targets knowledge, tools, and techniques accessible to traditional engineers over 42 months, with evaluation measured against three phases of technical progress in proof engineering, platform development for security-critical use cases, and assessment of developed platforms.
Quick answers
Who was awarded contract FA875024CB044?
FA875024CB044 was awarded to Galois, Inc. by Air Force Research Laboratory (Air Force Materiel Command) on March 25, 2024.
How much is contract FA875024CB044 worth?
The government has obligated $9,810,315 on FA875024CB044. Its current value, with exercised options, is $13,613,505.
Which agency awarded contract FA875024CB044?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875024CB044, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875024CB044 competed?
The extent of competition for FA875024CB044 was full and open competition. The government received 23 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