Continuous, high assurance, logical lifecycle for assisting humans (challah)
Active Definitive Contract Awarded Last action
- Contract number
- FA875024CB039
- Awardee
-
Two Six Labs, LLC UEI EP8HTN6PUJW3
- Awarding agency
-
Air Force Research Laboratory
Air Force Materiel Command, Department of Defense
- Obligated
- $2,805,711
Award facts
- Opportunity
-
- Pipelined Reasoning Of Verifiers Enabling Robust Systems (PROVERS) Pre-Solicitation · HR001123S0020 · Posted Mar 29, 2023
- Contract value 73% obligated
- $3,824,099.00 Current and potential, with all options
- Completion date 70% 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
- Arlington, VA 22203, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Funding Only Action | $225,000 | |
| Funding Only Action | $500,000 | |
| Funding Only Action | $364,354 | |
| Supplemental Agreement for work within scope | $560,608 | |
| Supplemental Agreement for work within scope | $0 | |
| Funding Only Action | $200,000 | |
| Original award | $955,749 |
About this award
The Defense Advanced Research Projects Agency awarded a $3.824 million definitive contract to Two Six Labs, LLC on March 20, 2024, for Continuous, High Assurance, Logical Lifecycle for Assisting Humans (CHALLAH), with an ultimate completion date of November 19, 2027. The contract carries cost-plus-fixed-fee pricing and no set-aside designation.
Place of performance is Arlington, VA. The originating pre-solicitation, posted March 29, 2023, sought proposals under the Pipelined Reasoning Of Verifiers Enabling Robust Systems program to advance proof engineering capabilities. Proposals were due June 2, 2023. The program aims to integrate formal verification methods into continuous software development pipelines, developing knowledge, tools, and techniques accessible to traditional engineers over 42 months across three program phases. Research areas involve advances in proof development, maintenance, deployment, and management, with evaluation measuring progress in proof engineering, platform development for security-critical use cases, and assessment of developed platforms.
Leidos, Inc., Research and Development Division, is a named subcontractor and was awarded a sub-contract on May 21, 2024, for CHALLAH Services.
Subawards
| Subcontractor | Amount | Awarded |
|---|---|---|
| Leidos, Inc. | $702,043 |
Quick answers
Who was awarded contract FA875024CB039?
FA875024CB039 was awarded to Two Six Labs, LLC by Air Force Research Laboratory (Air Force Materiel Command) on March 20, 2024.
How much is contract FA875024CB039 worth?
The government has obligated $2,805,711 on FA875024CB039. Its current value, with exercised options, is $3,824,099.
Which agency awarded contract FA875024CB039?
Air Force Research Laboratory (Air Force Materiel Command) awarded FA875024CB039, with funding from Defense Advanced Research Projects Agency (Department of Defense).
Was contract FA875024CB039 competed?
The extent of competition for FA875024CB039 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