This Government Contract opportunity from Department Of Defense was posted on April 14, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.

Top

Ada Core Software

Awarded

F4FBQQ6079A001Federal

Submission Closed04/21/2026, 06:00:00 PM UTC

Contract Overview

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

Active Opportunities Like This One

NAICS: 513210

New

SLED

AI-Enhanced Software Supply

South Dakota State Government

POSTED

DEADLINE

Request for Quote-On-Line Certifications Software Progra

Solicitation # 1439

The State of Idaho has issued a solicitation under request for quote number 1439 for an On-Line Certifications Software Program. This procurement opportunity is managed by the state government to acquire a software solution capable of handling certification processes online. Interested parties must submit their responses by the deadline of September 25, 2026, at 11:00 PM. The solicitation was officially posted on September 11, 2026, and further details regarding the submission process can be accessed through the official Idaho supplier portal.

POSTED

DEADLINE

Genedata Analyst Bioinformatics Software Supply

Omas Strategic Buying Center - Information Technology

POSTED

DEADLINE

Wave Annual Release and Update Subscription Supplier

National Continuity SECTION(CON50)

POSTED

DEADLINE

Notice of Intent - Investigative Software

Solicitation # 192126VHQ4CCC0090

The Department of Homeland Security, through Immigration and Customs Enforcement's Office of Acquisition Management, intends to solicit a contract for Searchlight Cyber Investigative Licenses from Searchlight Cyber. This procurement is being pursued as a single-source acquisition under authority RFO 6.103-1, as the government has determined that only one source is reasonably available to satisfy the specific agency requirements. This notice, identified by solicitation number 192126VHQ4CCC0090, is provided for informational purposes and does not constitute a formal request for quote. The action is managed by the Investigations And Operations Support Dallas office located in Irving, Texas, with a response deadline of September 14, 2026.

Investigations And Operations Support Dallas

POSTED

DEADLINE

Peplink Cellular Bonding Services

Solicitation # WX02009Y2026T

The Department of Homeland Security, through the FEMA Disaster Emergency Communications Division, is soliciting brand name only Peplink In-Control and EssentialCare subscription services to support Mobile Emergency Response Support assets. These services are critical for the remote configuration, troubleshooting, and maintenance of Pepwave devices, ensuring continuous voice and data capabilities during natural and man-made disasters. The requirement is a total small business set-aside under NAICS code 513210, with proposals evaluated based on the lowest priced technically acceptable criteria. The scope of work includes the acquisition of 200 one-year InControl 2 subscriptions for HD2 Domes, along with various one-year EssentialCare and InControl subscriptions for Balance 1350, Balance SDX Pro, ICS-B03-1Y, ICS-B04-1Y, and MAX HD1 Dome Pro 5G devices. All subscription licenses must be delivered to Frederick MERS in Maryland within 90 days of the contract award. The period of performance begins on the date of award, and quotes should be submitted to the designated point of contact by the September 15, 2026, deadline.

National Continuity SECTION(CON50)

POSTED

DEADLINE

Tektronix MSO64B Oscilloscope

Solicitation # 80NSSC26942755Q-1

NASA Shared Services Center

POSTED

DEADLINE

NIH NIAID Genedata Analyst bioinformatics software program

Solicitation # 7571TE26Q00254

The Department of Health and Human Services, through the Office of Mission Acquisition Solutions on behalf of the National Institutes of Health and the National Institute of Allergy and Infectious Diseases, intends to award a firm-fixed-price contract to Genedata (USA), Inc. for a 12-month renewal of the Genedata Analyst bioinformatics software. This acquisition is conducted under FAR Part 12 for commercial products and FAR Part 6.103-1, identifying Genedata as the only responsible source capable of meeting the requirements. The software is essential for the Viral Pathogenesis and Evolution Section to maintain continuity in its research on respiratory viral disease, vaccine development, and antiviral therapies, specifically by utilizing over 100 million historical gene-expression data points. Genedata Analyst provides critical capabilities for the statistical modeling of multi-omics data, including linear and nonlinear normalization methods such as LOWESS and Quantile Normalization. The software supports advanced analytical functions including parametric and non-parametric testing, mixed linear models, Principal Components Analysis, and machine learning tools like Decision Trees and Partial Least Square analysis. Additionally, it offers interactive visualization tools such as heat maps, scatter plots, and tree maps to support the identification of biomarkers and biological network characterization. The government is seeking capability statements from interested parties by September 14, 2026, to determine if a competitive procurement is warranted.

Omas Strategic Buying Center - Information Technology

POSTED

DEADLINE

EndoSoft Information System

Solicitation # HT001426QE047

Defense Health Agency

POSTED

DEADLINE

WAVE Annual Release Subscription

Solicitation # WX01247Y2026T

Solicitation WX01247Y2026T is issued by the Department of Homeland Security, specifically the National Continuity Section, to procure a 12-month Wave Annual Release and Update Subscription Renewal for FEMA MERS Frederick. This is a brand name only procurement for part number TT06245AA. The period of performance is scheduled from November 1, 2025, through October 31, 2026, with a requirement that warranties backdate to the start date of November 1. The place of performance is located at FEMA MERS Frederick in Frederick, Maryland. The contract is a total small business set-aside under NAICS code 513210. Proposals will be evaluated based on the lowest priced technically acceptable criteria in accordance with the Statement of Work. A key requirement is that all electronic and information technology procured must comply with Section 508 of the Rehabilitation Act of 1973 and the accessibility standards set forth in 36 CFR Part 1194. Quotes should be submitted via email to Christopher L. Barrow by the response deadline of September 15, 2026.

National Continuity SECTION(CON50)

POSTED

DEADLINE

M5000-264664 - Pix4D Mapper Photogrammetry Software

Solicitation # WS5840496125

The Royal Canadian Mounted Police is seeking six licenses of Pix4D Mapper Photogrammetry software, including maintenance and support. This solicitation, issued by the Department of Public Works and Government Services, is restricted to Canadian suppliers. The deadline for submissions is September 28, 2026, at 7:00 PM, and late offers will not be accepted. The performance of the contract is located in Alberta, and the primary point of contact for this opportunity is Carmen Song.

Department of Public Works and Government Services

POSTED

DEADLINE

TA Module 01 Software Access & Licensing

Department Of Health And Mental Hygiene

POSTED

1 day ago

DEADLINE

in 13 days

General Info

Agency

Department Of Defense → Air Force Research LaboratoryView Agency

NAICS

513210 - Software PublishersView NAICS

Place of Performance

Wright Patterson AFB, OH, 45433, USA

Set-Aside

NONE

Documents

(1)

JA+Form+SSJ_AdaCore_Redacted.pdf

PDF

AI Contract Breakdown

Uniform Contract Format

Timeline

PhaseAwarded

PostedApr 14

special-notice

AwardedSep 12

Contract was awarded

Submission Closed

04/21/2026, 06:00:00 PM UTC

Find active opportunities like this

Start your free trial to discover similar active contracts, track opportunities, and build proposals with AI assistance.

Organization & Contact Information

AgencyDepartment Of Defense → Air Force Research Laboratory

Contacts1 person available

OfficeN/A

Organization / Agency

Department Of Defense → Air Force Research Laboratory

View Agency Profile

Office AddressN/A

Contacts

Travis McCullough

contact@example.gov

Full Description

The Government has a requirement for a Sole Source purchase from AdaCore Technology, Software license and support for one calendar year of GNAT Pro, GNAT DAS and SPARK Pro, a code verification software specific to one manufacturer.

The need for rigorously or formally verified complex autonomy software has been emphasized in a number of strategic planning documents produced by the USAF and DoD, including "Technology Horizons," "Autonomous Horizons: The Way Forward," and the "DoD Digital Engineering Strategy." AFRL/RQQA performs R&D of autonomy-related software for unmanned aerial vehicles. To meet the needs of the USAF, we need tools to formally verify this software.

AdaCore is the sole source of GNAT Pro Enterprise, GNAT Dynamic Analysis Suite (DAS), and SPARK Pro. GNAT Pro Enterprise is a complete development environment for producing critical software systems built in Ada/SPARK, C, and C++ and enables use of SPARK Pro. GNAT DAS is a comprehensive testing solution for software that integrates automated unit testing, fuzzing, and code coverage. SPARK Pro is a collection of tools that perform formal verification of code written in the SPARK subset of Ada.