This Government Contract opportunity from Georgia was posted on June 9, 2026. The submission period has ended. Browse the details below for market research, or find similar active opportunities.

Top

Formal Verification of Eligibility Logic

Closed

State & Local

Submission Closed07/07/2026, 10: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: 541715

New

SLED

Highway Safety Research & Analysis

South Dakota State Government

POSTED

DEADLINE

Space Power and Reactor Capabilities (SPARC) - Presolicitation Synopsis

Solicitation # 80GRC026R0009_PS

NASA Glenn Research Center

POSTED

DEADLINE

Space Electronic Systems Prototype Development

Solicitation # N00173-27-R-0001

Naval Research Laboratory

POSTED

DEADLINE

Screen Materials in AMI's clean room

Solicitation # N00173-27-Q-1301415032

The Naval Research Laboratory intends to award a sole source purchase order to AlphaMicron Inc, located in Kent, Ohio, for the procurement of screen materials in the company's clean room. This action is identified by notice number N00173-27-Q-1301415032 and is classified under NAICS code 541715 with a product service code of 3694. The acquisition will be conducted using Simplified Acquisition Procedures in accordance with FAR Part 13.106-1(b), as the purchase is expected to be below the simplified acquisition threshold of 250,000 dollars. This notice serves as an intent to award and is not a solicitation for competitive proposals. Interested parties wishing to demonstrate that competition would be advantageous to the government must respond to the primary point of contact, Marche Hampton, within two calendar days of the publication date. The government maintains sole discretion in determining whether to proceed with a competitive procurement based on any received capability information.

Naval Research Laboratory

POSTED

DEADLINE

Machine Learning & Predictive Analytics EngineeringThis subcontract, titled Machine Learning and Predictive Analytics Engineering, is issued by the Naval Air Systems Command under the Department of Defense. The project focuses on the development and deployment of production-ready machine learning algorithms to support prime contractors on F-35 Joint Program Office projects. Key objectives include creating solutions for supply-chain optimization, readiness forecasting, and predictive maintenance, utilizing ML engineering pipelines within AWS and Azure GovCloud architectures. The scope of work involves managing CI/CD/CT pipelines and delivering validated source code and predictive models. Due to the nature of the work, an active Top Secret clearance is required. The performance location for this contract is Arlington, Virginia, with a response deadline set for November 10, 2026.

Naval Air Systems Command

POSTED

DEADLINE

Senior Advisor SME – Patient Advocacy for Ultra-Rare Neurological DiseasesThis small business set-aside subcontract, managed through the Department of Health and Human Services Omas Strategic Buying Center, seeks a Senior Advisor Subject Matter Expert in Patient Advocacy for Ultra-Rare Neurological Diseases. The role involves providing executive-level strategic advisory services for prime contractors working on NIH NINDS projects, specifically focusing on technical feedback for biologic drug discovery and gene-based therapy trials related to nervous system conditions. The selected expert will serve on the URGenT External Counselor Board to evaluate project milestones and resolve complex drug development challenges. Based in Rockville, the position requires a high level of expertise in both drug discovery and patient advocacy to deliver critical strategic recommendations and technical evaluations.

Omas Strategic Buying Center - Professional Services

POSTED

DEADLINE

Digital Biomarker & Computational Modeling DevelopmentThis subcontract focuses on the development and validation of objective digital biomarkers and computational models to support prime contractors within the Defense Health Agency Alzheimer’s Research Program. The scope of work involves utilizing high-performance computing and AI/ML software frameworks to create algorithms for early disease detection and predictive models for disease forecasting. The project requires strict adherence to HIPAA compliance and FDA software validation standards to ensure the integrity and security of the delivered models. Performance will take place in Frederick, Maryland, with the primary objective of delivering validated digital biomarkers and predictive tools to the Department of Defense.

Defense Health Agency

POSTED

DEADLINE

TBI & Psychological Health Research Services

Defense Health Agency

POSTED

DEADLINE

Pharmacology and Pain Subject Matter Expert (SME)This subcontract opportunity is for a Pharmacology and Pain Subject Matter Expert to provide executive-level strategic guidance and technical expertise for prime contractors supporting NIH NINDS HEAL Initiative projects. The selected expert will serve as a member of the External Oversight Committee, focusing on the acceleration of non-addictive analgesic drug targets. Key responsibilities include participating in monthly teleconferences, attending ad-hoc milestone calls, delivering technical reports, and completing one annual on-site visit to the NIH campus in Bethesda, Maryland. Managed through the Department of Health and Human Services Omas Strategic Buying Center, this requirement is designated as a Total Small Business Set Aside under NAICS code 541715. The solicitation was posted on October 27, 2026, with a response deadline of November 3, 2026.

Omas Strategic Buying Center - Professional Services

POSTED

DEADLINE

Senior Advisor for Pharmacology and Pain (HEAL Initiative)This subcontract opportunity is for a Senior Advisor for Pharmacology and Pain to support the NIH HEAL Initiative through the Omas Strategic Buying Center within the Department of Health and Human Services. The selected expert will provide executive-level strategic guidance and technical feedback to prime contractors, specifically focusing on the discovery and development of non-addictive analgesic therapeutics. Key responsibilities include serving as a Subject Matter Expert on the External Oversight Committee, attending monthly meetings and ad-hoc milestone calls, and delivering detailed technical reports. Qualified candidates must possess recognized expertise in Pharmacology and Pain to effectively guide project milestones. The solicitation was posted on October 27, 2026, with a response deadline of November 3, 2026. This professional services engagement falls under NAICS code 541715 and is designed to ensure high-level technical oversight for critical drug development initiatives.

Omas Strategic Buying Center - Professional Services

POSTED

DEADLINE

Novel Materials Analysis SupportThe Novel Materials Analysis Support subcontract involves providing specialized research and analysis to characterize, detect, and quantify materials of interest for prime contractors supporting Air Force Technical Applications Center projects. The scope of work includes investigating research and development technologies to improve detection methods and utilizing chemical analysis tools and specialized hardware to quantify novel materials. The successful provider will be responsible for delivering detailed analysis reports and quantification data. This effort is managed under the Department of Defense for the agency FA7022 Amic Det 2 Ol Patrick Pka, with performance taking place at Patrick Air Force Base. Due to the sensitive nature of the work, a TS/SCI security clearance is required. The opportunity is categorized under NAICS code 541715, with a response deadline set for November 14, 2026.

FA7022 Amic Det 2 Ol Patrick Pka

POSTED

DEADLINE

Analytical Laboratory R&D (Methods & Technology)The Analytical Laboratory R&D (Methods & Technology) subcontract focuses on the development and testing of new analytical methods and technologies to improve the forensic analysis of field samples for Air Force Technical Applications Center projects. The scope of work involves performing research, development, test, and evaluation to concentrate target compounds from complex matrices, conducting extensive literature searches, and evaluating new analytical instrumentation. These tasks require the use of advanced laboratory tools and forensic instrumentation to deliver finalized analytical protocols and equipment evaluations. This Department of Defense project is managed by the Amic Det 2 Ol Patrick Pka and is performed at Patrick Air Force Base. Due to the nature of the forensic and technical work, a TS/SCI security clearance may be required for personnel. The opportunity is categorized under NAICS code 541715, with a response deadline set for November 14, 2026.

FA7022 Amic Det 2 Ol Patrick Pka

POSTED

1 day ago

DEADLINE

in 17 days

AI Contract Overview

The contract involves designing and implementing formal verification methods, including model checking and theorem proving, to ensure the accuracy and correctness of the logic used to determine SNAP eligibility. It is a subcontract opportunity issued by the Georgia Department of Human Services with a focus on applying advanced formal methods to verify eligibility determination processes, potentially improving reliability and compliance in administering SNAP benefits. The contract falls under the NAICS code 541715, which relates to research and development services in physical, engineering, and life sciences. The solicitation was posted on June 9, 2026, with responses due by July 7, 2026. While specific location details for the place of performance and point of contact are not provided, the contract is tied to the state of Georgia. This opportunity emphasizes using rigorous formal methods to validate critical eligibility logic within a government social services context, ensuring that SNAP benefits are accurately allocated according to defined criteria.