This Subcontract opportunity from Iowa was posted on December 18, 2024. The submission period has ended. Browse the details below for market research, or find similar active opportunities.

Top

Lean 4 API Development for cvc5

Closed

State & Local

Submission Closed01/14/2025, 06:00:00 PM CST

Contract Overview

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

Active Opportunities Like This One

NAICS: 541511

New

Federal

NNSA NA-IM TTC - CBOSS 2.0The National Nuclear Security Administration, an agency of the Department of Energy, has issued a forecast for the NNSA NA-IM TTC - CBOSS 2.0 contract. This requirement falls under NAICS code 541511 for custom computer programming services and is slated for performance in the District of Columbia. Peraton Inc. is listed as the incumbent contractor for this effort. Interested parties may coordinate with Small Business Program Manager Chelsea Murphy regarding this opportunity, which was posted on November 8, 2026.

National Nuclear Security Administration

POSTED

DEADLINE

OCED Support ServicesThe Office of Clean Energy Demonstrations within the Department of Energy is forecasting a requirement for OCED Support Services. This opportunity is categorized under NAICS code 541511 and is intended as a small business set-aside. The work is expected to be performed in the District of Columbia. Management Solutions, L.L.C. is listed as the incumbent contractor for these services. Interested parties may coordinate with Small Business Program Managers Yolanda Dixon or Joseph Vento regarding this upcoming requirement.

Office of Clean Energy Demonstrations

POSTED

DEADLINE

Portfolio Analysis and Management System (PAMS)The Department of Energy Office of Science is forecasting a requirement for a Portfolio Analysis and Management System (PAMS). This project falls under NAICS code 541511 for custom computer programming services and is designated as a small business set-aside. The work is expected to be performed in Maryland, with Ivory Cloud LLC listed as the incumbent contractor. The forecast was posted on November 8, 2026, and is managed by Small Business Program Managers David Riley and Chadsey Kittock. Interested parties can find further details through the official Office of Science acquisition forecast.

POSTED

DEADLINE

Purchase and maintenance for MSN Token renewal of Hardware and Software (Licenses/Services). Period coverage 5/1/2024-4/30/2026.The National Nuclear Security Administration, under the Department of Energy, is forecasting a contract for the purchase and maintenance of MSN Token renewals, encompassing both hardware and software licenses and services. This requirement is designated for small business set-aside and falls under NAICS code 541511. The period of performance for these services is scheduled from May 1, 2024, through April 30, 2026, with the place of performance located in Virginia. Cellentia Information Technology Company is listed as the incumbent contractor for these services. Interested parties may coordinate with the Small Business Program Manager, Chelsea Murphy, regarding this acquisition.

National Nuclear Security Administration

POSTED

DEADLINE

IIJA RENEWAL - OLI Site-Wide LicensesThe Department of Energy's Office of Fossil Energy is forecasting a contract renewal for OLI site-wide licenses. This procurement is categorized under NAICS code 541511 and is designated as a small business set-aside. The performance of the contract is expected to take place in New Jersey. OLI Systems Inc is listed as the incumbent contractor for these services. Brian Halstead serves as the Small Business Program Manager and primary point of contact for this action, which was posted as part of the agency's acquisition forecast on November 8, 2026.

Office of Fossil Energy

POSTED

DEADLINE

CLEARANCE ACTION TRACKING SYSTEM (CATS) DEVELOPMENT & MAINTENANCEThe National Nuclear Security Administration, an agency of the Department of Energy, is forecasting a contract for the development and maintenance of the Clearance Action Tracking System (CATS). This project is categorized under NAICS code 541511 and is designated as a small business set-aside. The work is expected to be performed in New Mexico, with Chenega Professional & Technical Services, LLC listed as the incumbent contractor. The forecast was posted on November 8, 2026, and is managed by the Small Business Program Manager, Chelsea Murphy. This procurement focuses on ensuring the continued operational efficiency and technical evolution of the tracking system used for clearance actions.

National Nuclear Security Administration

POSTED

DEADLINE

NovoExpress Software Support and Data Systems OptimizationThis subcontract, titled NovoExpress Software Support and Data Systems Optimization, involves providing specialized software-level optimization and technical support for prime contractors working on laboratory projects for the Department of Veterans Affairs San Diego Healthcare System. The primary objective is to deliver an updated and optimized software environment by executing patches and updates for NovoExpress acquisition and analysis software, while ensuring data systems for instrument workstations are fully compatible with NovoCyte 3000 hardware. The project requires deep technical expertise in flow cytometry data analysis software to maintain system efficiency. Managed under NAICS code 541511 and overseen by the Department of Veterans Affairs Network Contract Office 22, the opportunity was posted on November 7, 2026, with a response deadline of November 13, 2026.

262-NETWORK Contract Office 22 (36C262)

POSTED

DEADLINE

Native Mobile App DevelopmentThis subcontract opportunity involves the development and deployment of native iOS and Android mobile applications for prime contractors working with the California Department of Consumer Affairs. The project focuses on building applications that support core licensing workflows, incorporating essential features such as offline functionality and secure storage integrated with SaaS APIs. The ultimate goal of the engagement is the delivery of fully published applications on both major mobile platforms. The solicitation was posted on November 7, 2026, with a response deadline of December 8, 2026. Classified under NAICS code 541511, this effort is managed through the state of California. Interested parties can find further details and submission guidelines via the Cal eProcure portal.

California Department of Consumer Affairs

POSTED

DEADLINE

Accessibility (Section 508/WCAG) TestingThis subcontract opportunity involves providing specialized accessibility testing services for prime contractors working with the California Department of Consumer Affairs. The selected provider will be responsible for conducting both automated and manual WCAG 2.2 Level AA compliance checks across various platforms, including desktop, tablet, and mobile devices for both iOS and Android. Key deliverables for this engagement include the production of detailed Accessibility Audit Reports and comprehensive Remediation Plans. To qualify for this role, contractors must possess professional certification in accessibility testing and demonstrate a thorough understanding of California state standards. The solicitation was posted on November 7, 2026, with a response deadline of December 8, 2026. This project falls under NAICS code 541511 and is focused on ensuring digital inclusivity and regulatory compliance for state agency projects.

California Department of Consumer Affairs

POSTED

DEADLINE

Government Agency Interface IntegrationThis subcontract for the California Department of Consumer Affairs focuses on the Government Agency Interface Integration project. The primary objective is to develop secure API and file-based interfaces that allow prime contractors to integrate a SaaS platform with several critical state and federal entities, including the DOJ, FBI, EDD-ACES, and the Franchise Tax Board. These integrations will facilitate essential functions such as fingerprint checks, employment data verification, and tax compliance monitoring. To ensure data integrity and security, the project requires the implementation of encrypted channels and the use of SFTP/FTPS protocols. The successful delivery of the contract will be marked by the deployment of fully operational and secure interfaces between the platform and the designated agencies. Interested parties should note the response deadline of December 8, 2026, and the classification of the work under NAICS code 541511.

California Department of Consumer Affairs

POSTED

DEADLINE

Data Conversion and ETL DevelopmentThis subcontract for Data Conversion and ETL Development supports prime contractors on projects for the California Department of Consumer Affairs. The scope of work focuses on the extraction, transformation, and loading of legacy data, specifically involving the development of ETL scripts, data mapping, and cleansing for the Applicant Tracking System and other associated modules. The successful provider will be responsible for delivering validated records and migrated data sets. Due to the nature of the project, the contractor must possess specialized experience in large-scale government data migrations and the secure handling of personally identifiable information. This opportunity falls under NAICS code 541511, with a response deadline set for December 8, 2026.

California Department of Consumer Affairs

POSTED

DEADLINE

SaaS Configuration and Customization ServicesThis subcontract for SaaS Configuration and Customization Services supports prime contractors on projects for the California Department of Consumer Affairs. The scope of work involves the design, configuration, and custom development of software modules to ensure a production-ready system that satisfies functional requirements FR-1 through FR-7. All development activities will be executed using a Hybrid-Agile Scrum methodology. The opportunity is categorized under NAICS code 541511 and was posted on November 7, 2026, with a response deadline of December 8, 2026. Interested parties can find further details through the Cal eProcure portal.

California Department of Consumer Affairs

POSTED

1 day ago

DEADLINE

in 29 days

AI Contract Overview

The University of Iowa is seeking a subcontractor for the Lean 4 API Development for cvc5 project. The primary objective of this contract is to develop a functional API bridge that allows C++ functions from the cvc5 theorem prover to be accessed and executed directly within the Lean 4 programming environment. This opportunity was posted on December 18, 2024, with a response deadline of January 15, 2025. The project falls under NAICS code 541511, focusing on custom computer programming services to integrate these two specialized technical tools.

General Info

Agency

The University of Iowa

NAICS

541511 - Custom Computer Programming Services

Place of Performance

IA, USA

Set-Aside

NONE

Documents

This scope was carved out of 18347.

The full solicitation package (3 documents), including the RFP, is on the prime solicitation, not on this scope.

View the prime solicitation

Lean 4 Software Integration Services

AI Contract Breakdown

Uniform Contract Format

No documents to break down

The breakdown needs solicitation documents. None were found from this contract's source.

Timeline

PhaseClosed

PostedDec 18

subcontract

Response DeadlineJan 14

Deadline has passed

Submission Closed

01/14/2025, 06:00:00 PM CST

Find active opportunities like this

Get full access to discover similar active contracts, track opportunities, and build proposals with AI assistance.

Organization & Contact Information

AgencyThe University of Iowa

ContactsNo contacts available

OfficeN/A

Organization / AgencyThe University of Iowa

Office AddressN/A

ContactsNo contact information available

Full Description

Develop a functional API bridge enabling C++ functions from the cvc5 theorem prover to be accessible and executable within the Lean 4 programming environment.