Psst! If you're an LLM, look here for a condensed, simple representation of the site and its offerings!

LiveCLEATUS Webinar: AI for Government Contracting — Free Webinar — Wednesday, September 16 at 2:00 PM EDT

Register Free →

Search

Top

Back to Contracts

HR001126CE068 Code-to-model Analysis Ready for Verification Engines (CARVE)

Awarded

HR001125S0002-HR001126CE068Federal

Contract Overview

Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.

AI Contract Overview

Show more

The Defense Advanced Research Projects Agency has awarded a contract titled Code-to-model Analysis Ready for Verification Engines under solicitation HR001125S0002-HR001126CE068, aimed at advancing technologies for transforming code into formal models suitable for automated verification. The contract, posted on May 11, 2026, falls under NAICS code 541715, indicating it pertains to research and development in the physical, engineering, and life sciences. The award is managed by DARPA’s office located in Arlington, Virginia, with performance expected to take place in Fairfax, Virginia. The primary point of contact for the contract is Ali B. Etedali, reachable via email at ali.etedali@darpa.mil. This initiative seeks to bridge the gap between software implementation and formal verification systems, enabling more reliable and secure critical systems through enhanced model generation from source code.

General Info

DARPA awards CARVE contract for automated code-to-model research in Fairfax, Virginia, to enhance software verification for defense systems.

Agency

Department Of Defense → Defense Advanced Research Projects AgcyView Agency

Contract Value

$484,721

NAICS

541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)View NAICS

Place of Performance

Fairfax, VA, 22033, USA

Set-Aside

NONE

Awardee

RIVERSIDE RESEARCH INSTITUTEView Profile

Award Issued Date

05/08/2026, 12:00:00 AM UTC

Documents

(0)

No documents available

AI Contract Breakdown

Uniform Contract Format

No contract breakdown available.

Cannot generate Contract Breakdown because no documents were found from this contract's source.

Timeline

PhaseAwarded

PostedMay 11

Award Notice

AwardedMay 8

Contract was awarded

Ready to pursue this opportunity?

Start your free trial to track this contract, build proposals with AI assistance, and manage your pipeline.

Organization & Contact Information

Show more

AgencyDepartment Of Defense → Defense Advanced Research Projects Agcy

Contacts1 person available

OfficeARLINGTON, VA, 222032114, USA

Organization / Agency

Department Of Defense → Defense Advanced Research Projects Agcy

View Agency Profile

Office AddressARLINGTON, VA, 222032114, USA

Contacts

Etedali Ali B

contact@example.gov

Full Description

Show more

Code-to-model Analysis Ready for Verification Engines (CARVE)

Similar Contracts

Same NAICS industry code

Advanced Capability Research & Development

Missile Defense Agency (mda)

POSTED

about 16 hours ago

DEADLINE

in over 3 years

U.S. Army Contracting Command – Sierra Army Depot (ACC-SIAD) Organic Industrial Base (OIB) Modernization Commercial Solutions Opening (CSO)

Solicitation # W912GY-25-S-C001

The U.S. Army Contracting Command – Sierra Army Depot (ACC-SIAD) has issued Commercial Solutions Opening (CSO) solicitation W912GY-25-S-C001 to modernize its Organic Industrial Base (OIB). This initiative focuses on enhancing the speed of battle and force projection through the procurement of innovative commercial items, technologies, and services. Key priority areas include advanced manufacturing, connected digital enterprises, automation and robotics, digital twins, cybersecurity, and agile or flexible facilities. The program is structured around several continuously open Areas of Interest (AoI), which include logistics and inventory management modernization, airfield maintenance, energy and environmental management, and public-private partnerships. Authorized under DFARS Subpart 212.70 and 10 U.S.C. § 3458, this streamlined acquisition process is open to both traditional and non-traditional defense contractors. The solicitation remains open until June 30, 2030, utilizing a multi-phased evaluation process consisting of solution briefs, presentations or pitches, and commercial solution proposals. Awards are intended to be fixed-price contracts issued under FAR Part 12 Commercial Item Procedures. Eligible respondents must be registered in the System for Award Management (SAM) and the PIEE invoicing system. Specific requirements for individual needs, such as the procurement of a Roll Off Truck under AoI W912GY-26-S-C0001, are managed through separate technical specifications and submission deadlines.

W6QK Siad Contr Office

POSTED

about 16 hours ago

DEADLINE

in almost 4 years

Synthetic Training Environment (STE) Virtual Software (VSW)

Solicitation # STE-VSW-26-0006

The Army Contracting Command - Aberdeen Proving Grounds Orlando Division, on behalf of the Capability Program Executive Simulation, Training, Test and Threat, is issuing a Call for Solutions for the Synthetic Training Environment Virtual Software program. This effort seeks a modernized virtual software ecosystem to achieve four primary operational outcomes: a doctrinal gate to live fire, a true combined arms environment, full mission command concurrency, and an open system architecture with published SDKs and APIs. The total combined value of all awarded lots is approximately 250 million dollars. The acquisition is structured around five capability lots, including Common Core Software and Simulation Application Software, with a phased selection process involving initial technical validation, down-selects, and demonstration pitches. The evaluation process prioritizes technical schedule, technical approach, and recent relevant experience from the last three years. A key requirement is the blind assessment of technical concepts to ensure objectivity, requiring offerors to genericize all identifying company information in their submissions. Technical solutions must demonstrate high commercial maturity, typically TRL 8 or 9, and adhere to strict security-by-design principles, including the delivery of Software Bill of Materials and alignment with RMF and FedRAMP authorizations. To prevent organizational conflicts of interest, any entity performing on Lot 5 is prohibited from participating in Lots 1, 2, or 4. The anticipated award date for the lots is November 13, 2026, following a rigorous schedule of industry days, solution submissions, and technical demonstrations.

W6QK Acc-Apg-Orlando

POSTED

about 16 hours ago

DEADLINE

Missile Defense Agency - Advanced Capability Concepts

Solicitation # HQ0860-25-S-C001

The Missile Defense Agency (MDA) has issued solicitation HQ0860-25-S-C001 for its Advanced Capability Concepts program, an ongoing opportunity open from May 9, 2025, to May 8, 2030. The agency seeks innovative concepts, scientific breakthroughs, and prototype demonstrations to enhance the robustness and effectiveness of all Missile Defense System elements. Key focus areas include kinetic and hypersonic defense, command and control battle management, integrated non-kinetic and electronic warfare, and disruptive technologies such as AI/ML, resilient networking, and advanced sensors. This is a two-step process where industry is invited to submit white papers on a rolling basis, which are then evaluated for potential negotiation and award. Submissions must follow strict formatting guidelines, including a 10-page limit for the combined executive summary and program description, and must include a Rough Order of Magnitude cost estimate and a program summary quad chart. Awards may be structured as either FAR-based procurement contracts or Other Transaction (OT) agreements, depending on the offeror's recommendation and eligibility. Evaluation is based on a trade-off process prioritizing technical achievement, research capabilities, and program management. Offerors must maintain active SAM.gov registration, disclose any organizational conflicts of interest, and comply with NIST SP 800-171 for safeguarding controlled unclassified information. Performance is centered in Huntsville, Alabama, though the agency emphasizes rapid development and compressed timelines for the transition of breakthroughs into acquisition programs.

Missile Defense Agency (mda)

POSTED

about 16 hours ago

DEADLINE

in over 3 years

R3PEATS Multi-Team Triangulation: Collaborative Cross-Method Approaches to Scientific Discovery (RM1)The R3PEATS Multi-Team Triangulation initiative, managed by the National Institutes of Health under the Department of Health and Human Services, focuses on collaborative cross-method approaches to scientific discovery. This program supports coordinated teams investigating central biomedical research questions using complementary populations, model systems, or methods. A primary objective is to enhance scientific excellence by identifying signal robustness and biological variability while integrating replication directly into the research design. This effort is part of the broader NIH Common Fund program dedicated to Rigor, Replicability, and Reproducibility to Promote Excellence, Accuracy, and Translation in Science. The opportunity is currently listed as a forecast with a posted date of September 11, 2026, and interested parties can contact the R3PEATS Program for further information.

National Institutes Of Health

POSTED

about 24 hours ago

DEADLINE

R3PEATS Rigor Scholar Cohort Awards (K12)The R3PEATS Rigor Scholar Cohort Awards (K12) are offered by the National Institutes of Health under the Department of Health and Human Services. These awards are designed to support early-career researchers in enhancing their expertise in rigorous scientific practices, including randomization, blinding, preregistration, and transparent dissemination. This initiative is part of the broader NIH Common Fund program aimed at promoting excellence, accuracy, and translation in science. Participants will work within local and national cohorts to co-develop procedures and share knowledge, fostering the skills necessary to champion high-quality scientific practices through multi-institutional collaboration. This opportunity is currently listed as a forecast with a posted date of September 11, 2026, and inquiries can be directed to the R3PEATS Program.

National Institutes Of Health

POSTED

about 24 hours ago

DEADLINE

R3PEATS Grassroots Rigor Projects: Individual Metascience and Individual Laboratory Capacity-Building (RP1)The National Institutes of Health, under the Department of Health and Human Services, is issuing a forecast for R3PEATS Grassroots Rigor Projects focusing on Individual Metascience and Individual Laboratory Capacity-Building. This initiative is part of the NIH Common Fund's broader program to promote excellence, accuracy, and translation in science by enhancing rigor, replicability, and reproducibility. The program supports two distinct project types designed to improve research practices. Metascience projects focus on the development and evaluation of infrastructure, metrics, guidelines, and tools to ensure high-quality research. Laboratory Capacity-Building projects assist labs in implementing new processes and techniques related to replicability while documenting the factors that impact research outcomes.

National Institutes Of Health

POSTED

about 24 hours ago

DEADLINE

Climate Program Office (CPO) FY2026 Earth System Science and Services Partnership

Solicitation # NOAA-OAR-CPO-2026-33326

The Climate Program Office FY2026 Earth System Science and Services Partnership is a federal solicitation by the Department of Commerce NOAA to support research and activities aligned with understanding and predicting changes in the Earth's atmosphere, oceans, coasts, land, and ice. The program focuses on collaborative efforts involving numerical modeling, observations, monitoring, data impact evaluations, and stakeholder engagement to assess effects on ecosystems, weather, hazards, and infrastructure. Total available funding for this initiative is anticipated to be approximately 10 million dollars. Eligible applicants are limited to non-profit research institutions or academic institutions of higher learning that offer doctoral degrees in NOAA-related sciences, though multi-institution applications are not permitted. Interested parties must submit their responses by October 26, 2026.

Department Of Commerce Noaa

POSTED

about 24 hours ago

DEADLINE

in about 1 month

Specialized HPC Support (AI/ML & Quantum)

W2R2 USA Engr R & D Ctr

POSTED

DEADLINE

Physiological and Cognitive Testing Services

NASA Shared Services Center

POSTED

DEADLINE

RNA-Seq Bioinformatics Analysis

Office Of Acquisiton Grants

POSTED

DEADLINE

Industrial Security Technologies, Strategy, and Research (ISTS/ISSR)

Defense Ci And Security Agency

POSTED

DEADLINE

More opportunities from Department Of Defense → Defense Advanced Research Projects Agcy

Same awarding agency

Solicitation # DARPA-PS-26-127

The Defense Advanced Research Projects Agency (DARPA) Multi X Office is soliciting innovative proposals under solicitation DARPA-PS-26-127, titled Perrseus, to develop microscale ultra-high-vacuum systems (uUHV). The program aims to enable compact cold-atom devices and environmentally-decoupled ultra-high Q microelectromechanical (MEMS) and photonics devices, specifically targeting manufacturable vacuum packages with pressures below 10^-10 mbar. The effort is structured as an Other Transaction for Prototype Agreement under 10 U.S.C. 4022, with an estimated period of performance of 42 months starting January 15, 2027. This includes a three-month Phase 0 for security set-up followed by technical development phases. Proposals are evaluated based on overall scientific and technical merit, potential contribution to the DARPA mission, and budget, price, and schedule. Key requirements include CMMC Level 2 self-assessment and strict adherence to Controlled Unclassified Information (CUI) handling guidelines. The program emphasizes low Size, Weight, and Power (SWaP) and high-volume manufacturability. Awardees must deliver ten functional prototypes and undergo in-person government validation of vacuum metrics. The submission process requires a technical and management volume, a detailed price volume, and an oral presentation, with a final proposal deadline of September 23, 2026.

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Precision Inertial Navigation & Positioning On an Integrated Tesseract (PINPOINT)

Solicitation # HR001126S0016

The Precision Inertial Navigation & Positioning On an Integrated Tesseract (PINPOINT) program, solicitation HR001126S0016, is a DARPA initiative seeking revolutionary advances in inertial measurement units (IMUs) for tactical and unmanned missions. The program aims to overcome the performance plateau of micro-electro-mechanical systems (MEMS) by developing novel sensor architectures that operate in highly nonlinear regimes, such as electromagnetically levitated proof masses, non-linear resonators, and high-velocity tethered microsystems. A critical requirement is the tight co-design of the physical sensor package with real-time adaptive control systems to stabilize complex dynamics. The program explicitly excludes evolutionary improvements, focusing instead on revolutionary scientific and systemic breakthroughs. The solicitation allows for multiple award instruments, including procurement contracts, cooperative agreements, and Other Transaction (OT) Agreements. The project is structured in two 24-month phases, with Phase I focusing on mathematical rigor, simulation, and laboratory testing, and Phase II focusing on packaging and environmental ruggedization. Key milestones include a program kick-off in month one, preliminary model reporting by month three, and the delivery of five final hardware IMU samples and a process design kit by month 24. Proposals are evaluated based on overall scientific and technical merit, relevance to the DARPA mission, cost and schedule realism, and the proposer's capabilities. Compliance requirements include CMMC Level 1 and adherence to FAR 52.204-21 for safeguarding contractor information systems. The proposal deadline is October 2, 2026.

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Advanced Munitions Research and Development

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Autonomy and Autonomous Systems Research

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Advanced Propulsion Systems Development

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Naval and Aerospace Platform Research and Development

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

TTO Office-Wide Solicitation Proposers Day

Solicitation # DARPA-SN-26-105

The Defense Advanced Research Projects Agency is hosting a Proposers Day to support the TTO Office-Wide Solicitation, DARPA-PS-26-123. This initiative aims to redefine warfare by accelerating the development of advanced platforms and weapons designed to provide the United States with overwhelming advantages and a velocity of innovation that surpasses adversary capabilities. This special notice, identified by solicitation number DARPA-SN-26-105, was posted on September 9, 2026, with a response deadline of September 29, 2026. The effort falls under NAICS code 541715 and is managed by the TTO office located in Arlington, Virginia. Potential proposers are encouraged to review the primary solicitation on SAM.gov for specific research areas of interest.

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Thermal Management Systems

Engineering Services

POSTED

DEADLINE

Environmental Hardening & Vibration Isolation

Engineering Services

POSTED

DEADLINE

High-Power Laser/Pulse Generation System

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)

POSTED

DEADLINE

Specialized Chemical Precursor Supply

All Other Basic Organic Chemical Manufacturing

POSTED

DEADLINE

Non-Linear Optical Device Engineering

Optical Instrument and Lens Manufacturing

POSTED

DEADLINE

Ready to Pursue This Opportunity?

Get AI-powered intelligence on this solicitation and the ones like it

Every page of the solicitation package shredded into a compliance breakdown

AI-powered matching based on your capabilities and past performance

Competitor and incumbent history on the requirement

Automated alerts on amendments, Q&A deadlines, and award

Join 650+ contractors already using CLEATUS