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

LiveFree Webinar — Wednesday, October 28 at 2:00 PM ET

Register Free →

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.

Formal Verification of Eligibility Logic

Closed
State & Local

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
Federal
Atomically Precise Molecules (APM)
Solicitation # DARPA-PS-26-141
The Atomically Precise Molecules (APM) program, solicitation DARPA-PS-26-141, is a 36-month initiative by the DARPA Multi X Office seeking innovative synthesis techniques for programmable precision polymers (PPPs) and nonlinear optical (NLO) materials. The program aims to develop scalable materials with strictly controlled monomer sequences and compositions, culminating in a prototype NLO material integrated into a government-provided electro-optic modulator capable of achieving greater than 1THz modulation. The effort is structured in two phases, with Phase I lasting 12 months and focusing on synthesis capabilities. Research limited to inorganic materials or incremental improvements to existing state-of-the-art practices is specifically excluded. Awards will be issued as Other Transaction for Prototype Agreements, with payments processed through the Wide Area Workflow system based on a schedule of milestones. Proposals are due by December 18, 2026, via the Broad Agency Announcement Tool and must include technical, management, and pricing volumes. Eligibility is restricted to U.S. organizations, and all performers must comply with CMMC Level 2 self-certification and NIST SP 800-171 standards for safeguarding Controlled Unclassified Information. Evaluation will be based on technical approach, relevance to the DARPA mission, budget realism, and the capability to transition the technology to military or commercial sectors.
Defense Advanced Research Projects Agcy

POSTED

about 22 hours ago

DEADLINE

in about 2 months

AI Contract Overview

Show more

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.

General Info

Design and implement formal verification for SNAP eligibility logic, Georgia DHS subcontract.

Documents

This scope was carved out of PE-42700-RFI-2026-000000012.

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

View the prime solicitation

Formal Verification and Other Methods for SNAP Error Rate Reduction

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
Posted

subcontract

Response Deadline

Deadline has passed

Submission Closed

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

Show more
AgencyGeorgia → Department of Human Services
ContactsNo contacts available
OfficeN/A
Office AddressN/A
ContactsNo contact information available

Full Description

Show more
Design and implement formal methods such as model checking and theorem proving to verify the correctness of SNAP eligibility determination logic.

More opportunities from Georgia → Department of Human Services

Same awarding agency

NAICS: 561720
SLED
DFCS - Janitorial Services (Multiple Locations)
Solicitation # 42700-eRFQ-001982-2027
The Georgia Department of Human Services, Division of Family and Children Services (DFCS), is issuing solicitation 42700-eRFQ-001982-2027 to establish contracts for janitorial services across 42 locations throughout the state of Georgia. This electronic Request for Quotes (eRFQ) seeks qualified suppliers to provide custodial services based on specific performance standards and schedules of services. The solicitation was posted on October 9, 2026, with a response deadline of November 7, 2026. Award decisions will be based on an evaluation of supplier responses, with reciprocal preference granted to businesses domiciled in the State of Georgia. To be eligible for award, suppliers must meet several mandatory requirements, including a minimum of three full consecutive years of custodial experience with at least three equivalent facilities. Required documentation for submission includes a fully completed Contract Rate Schedule, a business license or registration with the Secretary of State Office, and various certifications regarding tax compliance, lobbying, debarment, and federal work authorization. Additionally, all janitorial employees must pass a criminal background investigation at the supplier's expense before accessing any facility. Successful awardees must provide a Certificate of Insurance within ten business days of the contract award.
Janitorial Services

POSTED

18 days ago

DEADLINE

in 10 days
View Details

Earlier notices in this NAICS code

Posted before this notice, open and closed

Find Active Opportunities Like This

Get AI-powered intelligence on the opportunities still open

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

Miguel
Hillary
Keith Deutsch
Christine

Join 750+ contractors already using CLEATUS