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

Formal Methods for Secure SDR Development

Active

Federal

Contract Overview

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

AI Contract Overview

Show more

This subcontract, titled Formal Methods for Secure SDR Development, supports prime contractors on projects for the AFRL Rome Research Site within the Department of Defense. The primary objective is to advance correct-by-construction approaches for Software Defined Radio development by utilizing mathematical proofs and formal verification to eliminate software vulnerabilities. The project requires specialized expertise in high-assurance software engineering and formal verification languages such as TLA+ or Coq. The successful contractor will be responsible for delivering formally verified SDR code along with the corresponding verification proofs to ensure maximum security and reliability.

General Info

Subcontract for AFRL Rome to develop secure SDRs using formal verification and proofs.

Agency

Department Of Defense → FA8750 Afrl RikView Agency

NAICS

541511 - Custom Computer Programming ServicesView NAICS

Place of Performance

NY

Set-Aside

NONE

Documents

This scope was carved out of FA875026S7002.

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

View the prime solicitation

Cyberspace Operations for Resilient Tactical Engagement and Execution (CORTEX)

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

PostedApr 1

subcontract

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 → FA8750 Afrl Rik

ContactsNo contacts available

OfficeN/A

Organization / Agency

Department Of Defense → FA8750 Afrl Rik

View Agency Profile

Office AddressN/A

ContactsNo contact information available

Full Description

Show more

Advances formal methods and correct-by-construction approaches for SDR development for prime contractors on AFRL Rome Research Site projects. Uses mathematical proofs and formal verification to ensure software is free of vulnerabilities. Requires expertise in formal verification languages such as Coq or TLA+ and high-assurance software engineering. Delivers formally verified SDR code and verification proofs.

Similar Contracts

Same NAICS industry code

Supply Chain Data Analytics & Tool Development

POSTED

about 14 hours ago

DEADLINE

in about 1 month

BMDS Component Supply & Development

Missile Defense Agency (mda)

POSTED

about 14 hours ago

DEADLINE

in over 3 years

CUAS Software & ATAK Integration Services

FA5240 36 Cons Lgc

POSTED

about 14 hours ago

DEADLINE

Flight Software and Avionics Interface Development

FA8818 Ssc/aak-Kt

POSTED

about 14 hours ago

DEADLINE

Solicitation # 000HCKCH-2026-97035

The Centers for Disease Control and Prevention intends to award a sole source firm fixed price purchase order to Mobomo LLC for the continued maintenance of the Sexually Transmitted Infections Treatment Guidelines mobile applications for iOS and Android, as well as the associated web-based administrative backend panel. Mobomo LLC is uniquely qualified for this effort due to its previous role in the development and testing of these systems, providing them with essential institutional knowledge of the codebase, technical architecture, and compliance requirements. This contract for information technology maintenance and support services is being pursued under Simplified Acquisition Procedures to avoid service disruptions during an extensive update of the treatment guidelines. The government is seeking responses by September 16, 2026, to determine if the procurement will remain a sole source award or become competitive. All inquiries and responses should be directed to the Contracting Officer, Jasmine Powell.

CDC Office Of Acquisition Services

POSTED

about 14 hours ago

DEADLINE

Tactical Data Link (TDL) Interoperability Software

Solicitation # FA489026Q0016

Solicitation FA489026Q0016 is a request for proposals from the Air Combat Command to acquire a commercial off-the-shelf software solution to support Tactical Datalink (TDL) interoperability. The required toolset will serve as a relational database and analysis tool for the iSMART process, enabling the government to manage TDL message data, platform implementations, and interoperability evaluations, specifically adhering to standards such as MIL-STD 6016. The contract is structured as a Firm-Fixed Price Not To Exceed agreement consisting of a base year, four option years, and a final six-month option. Key deliverables include 120 annual software licenses, comprehensive technical support, bi-annual software releases, and two annual training sessions, including in-person advanced practitioner training for up to 10 students within the continental United States. The government will award the contract based on the Lowest Priced Technically Acceptable (LPTA) method. Technical proposals will be evaluated on an acceptable or unacceptable basis, requiring evidence of capabilities through functional screenshots, workflow diagrams, and historical case studies. A critical requirement is the ability to execute a single-action database migration of legacy platform specifications and provide a pre-migration conflict report within a 60-day transition window. Performance and delivery are centered at Langley Air Force Base, Virginia, with a delivery timeline of 30 days after receipt of order. All payment requests must be processed through the Wide Area WorkFlow system.

FA4890 Hq Acc Amic

POSTED

about 14 hours ago

DEADLINE

NISC Enterprise Support Tasking (NEST)

Solicitation # 693KA9-26-R-00003

The NISC Enterprise Support Tasking (NEST) contract, solicitation 693KA9-26-R-00003, is a set-aside for Women-Owned Small Business (WOSB) concerns to provide the Federal Aviation Administration (FAA) with operations and maintenance support for the NIMS and CMIS systems. The scope of work involves managing the task order and financial management lifecycles, including integration with FAA financial systems such as PRISM and Delphi. The contractor will ensure uninterrupted system availability, provide quality assurance, and maintain security certifications and ATO status. A critical component of the effort is serving as a Subject Matter Expert to provide the architecture, design, development, and deployment of a new software system required to support the transition from the NISC IV to the NISC V contract. The contract is structured as a firm fixed price award with a 12-month base period and four 12-month option periods, totaling up to five years. The FAA will utilize a Best Value approach for selection, prioritizing technical approach, past performance, and price. Key deliverables include the maintenance of the KITT Financial Database and NISC Invoice Approval Tool, as well as the development of financial dashboards for metrics such as Estimate at Completion and Earned Value Measurement. Performance will be evaluated based on technical quality and timeliness, with a required transition period not to exceed 90 days. All work will be performed at FAA or contractor facilities, with a focus on cybersecurity compliance and adherence to the FAA IT Enterprise Risk Management Framework.

693KA9 Contracting For Services

POSTED

about 14 hours ago

DEADLINE

in about 1 month

Pavement Database & GIS Specialist

POSTED

DEADLINE

Website Maintenance and ADA Compliance Services

POSTED

DEADLINE

GRACE Web App Integration and Webhook Development

Texas Higher Education Coordinating Board

POSTED

DEADLINE

AI Chatbot (Aribot/Mainstay) Maintenance and Development

Texas Higher Education Coordinating Board

POSTED

DEADLINE

Digital Accessibility & Web Development

D110 RECORDS & ELECTIONS SVCS

POSTED

DEADLINE

More opportunities from Department Of Defense → FA8750 Afrl Rik

Same awarding agency

Automated Processes for Knowledge Discovery and Information Retrieval

Solicitation # FA875024S7006

The Department of the Air Force, through the Air Force Research Laboratory (AFRL) Rome Research Site, has issued Broad Agency Announcement FA8750-24-S-7006 to solicit innovative research for automated processes in knowledge discovery and information retrieval. The objective is to develop and deliver technologies capable of exploiting multi-source, multi-domain data—including classified, open source, and non-traditional sources—to enhance Battlespace Awareness and automate analysis and decision processes across ground, air, maritime, space, and cyberspace domains. This open, two-step BAA is effective until September 9, 2029, with total estimated funding of approximately $99 million. Individual awards are typically expected to range from $3 million to $35 million with a performance period not exceeding 48 months. The procurement process begins with the submission of white papers, with suggested annual deadlines through November 2028 to align with projected funding. Formal proposals will be requested by invitation only. Awards may take the form of FAR-based procurement contracts, CFR-based grants, cooperative agreements, or Other Transactions (OTs). Evaluation is based on technical merit, mission relevance, and cost realism, with a specific emphasis on Gold Standard Science principles and rigorous security risk reviews for key personnel to mitigate foreign influence. Offerors must adhere to strict organizational conflict of interest (OCI) policies and provide detailed financial resource documentation for FAR-based awards.

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

POSTED

DEADLINE

in almost 3 years

ARTIFICIAL INTELLIGENCE AND NEXT GENERATION DISTRIBUTED COMMAND AND CONTROL

Solicitation # FA875023S7006

The Department of the Air Force, through the Air Force Research Laboratory Rome Research Site, has issued Broad Agency Announcement FA8750-23-S-7006 to solicit research and development focused on Artificial Intelligence and Next Generation Distributed Command and Control. The program aims to advance Joint All Domain Command and Control by exploring AI-based capabilities and distributed C2 concepts, specifically focusing on the battle management of AI to enable real-time adaptation, drift detection, and mission-tailored AI deployment in contested environments. The total estimated funding for the BAA is approximately 99 million dollars, with individual awards typically ranging from 200 thousand to 20 million dollars and lasting up to 48 months. This is an open, two-step process effective until August 30, 2028. Initial submissions are limited to three-page white papers, with formal proposals accepted by invitation only. Awards may be issued as FAR-based procurement contracts, DODGARS-based grants and cooperative agreements, or Other Transactions. Technical areas of interest include the orchestration of AI at scale, federated deployment, and the development of an AI manufacturing feedback loop. Evaluation is based on technical merit, mission relevance, and cost realism, utilizing a trade-off approach between assessed risk and potential scientific benefit. Prospective offerors must comply with strict security risk reviews for key personnel and provide proof of mitigation for foreign ownership, control, or influence.

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

POSTED

DEADLINE

Multi-Agent Agentic AI Workflow DevelopmentThis subcontract, titled Multi-Agent Agentic AI Workflow Development, focuses on creating flexible and adaptable workflows powered by Agentic AI for prime contractors supporting AFRL Information Directorate projects. The primary objective is to design multi-agent orchestration using Large Language Model agents and frameworks like AutoGen or CrewAI to accelerate kill chains and improve decision-making within dynamic operational environments. The project will culminate in the delivery of a prototype Agentic AI workflow system. Managed under the Department of Defense and the FA8750 Afrl Rik agency, the contract falls under NAICS code 541715 and was posted on September 4, 2026.

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

POSTED

DEADLINE

Automated Intelligence Extraction & Knowledge Graph DevelopmentThis subcontract, titled Automated Intelligence Extraction and Knowledge Graph Development, supports prime contractors on AFRL Information Directorate projects within the Department of Defense. The primary objective is to perform the automated fusion of heterogeneous multi-source intelligence data to create a functional knowledge graph and an automated intelligence extraction system. The technical scope involves utilizing Natural Language Processing and Named Entity Recognition to map disparate data sources, providing essential spatio-temporal grounding. Implementation will leverage graph databases such as Neo4j or AWS Neptune, falling under NAICS code 541511 for custom computer programming services.

Custom Computer Programming Services

POSTED

DEADLINE

Systems Integration and Demonstration (Technical Support)This subcontract, titled Systems Integration and Demonstration (Technical Support), supports the Department of Defense under the AFRL Information Directorate. The primary objective is to integrate AI and ML components into a cohesive demonstration system for prime contractors. This involves building the necessary infrastructure using DevOps practices, GovCloud architecture, and API integration to host and showcase fusion and reasoning tools. The final deliverable is an integrated demonstration environment or platform. The project is categorized under NAICS code 541512 and is associated with the FA8750 Afrl Rik agency.

Computer Systems Design Services

POSTED

DEADLINE

Moving Target Engagement Scaling ResearchThe Moving Target Engagement Scaling Research subcontract, managed by the Department of Defense under the AFRL Information Directorate, focuses on the research and development of technologies designed to engage moving targets at scale. The primary objective is to create kinematics-based algorithms capable of tracking and engaging multiple targets within high-density environments, utilizing high-scale computational modeling to support prime contractors. The successful contractor will be responsible for delivering a series of research reports, specialized algorithms, and software prototypes. This effort falls under NAICS code 541715 and is specifically tailored to enhance the capabilities of the AFRL RIK agency in managing complex target engagement scenarios.

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

POSTED

DEADLINE

Publicly Available Information (PAI) Ensemble FusionThis subcontract, managed by the Department of Defense under the AFRL RIK agency, focuses on the development of ensemble fusion methods for Publicly Available Information. The primary objective is to support prime contractors on AFRL Information Directorate projects by implementing OSINT big data analytics and ensemble machine learning techniques. These efforts are designed to significantly enhance the accuracy and reliability of intelligence streams derived from publicly available sources. The successful execution of this contract will result in the delivery of a comprehensive PAI ensemble fusion framework or specialized toolset. Classified under NAICS code 541511, the project emphasizes the integration of advanced computational methods to refine the processing of large-scale open-source data for strategic intelligence purposes.

Custom Computer Programming Services

POSTED

DEADLINE

ADAPTIVE FUSION, & REASONING OF MULTI-SOURCE DATA (AFAR)

Solicitation # FA875023S7008

The Department of the Air Force, Air Force Materiel Command, through the AFRL Rome Research Site, is soliciting innovative approaches for the Adaptive Fusion, Analysis & Reasoning of multi-source data (AFAR) under BAA FA8750-23-S-7008. This open, two-step announcement is effective until August 29, 2028, and aims to advance analytical operations supporting Command, Control, Communications, Computers and Intelligence (C4I) and Cyber Science missions. The research is divided into four primary focus areas: Adaptive Knowledge and Information for Target Analysis (AKITA), Enhancing Moving Target Engagement at Scale (EMoTES), Publicly Available Information (PAI) Ensemble Fusion (PEF), and Agentic AI Workflows for Dynamic Operational Contexts (AWARD). The total estimated funding ceiling for this BAA is approximately 99.9 million dollars, with individual awards typically ranging from 100,000 to 3 million dollars. The government may utilize various award instruments, including FAR-based procurement contracts, assistance instruments such as grants and cooperative agreements, and Other Transactions (OT) for research and prototypes. Initial submissions are limited to white papers, with formal proposals accepted by invitation only. Evaluation is based on a weight of scientific evidence approach, prioritizing technical merit and relevance to Department of the Air Force missions. Offerors must be registered in the System for Award Management (SAM) and are required to provide a DD Form 2345 and proof of mitigation for any Foreign Ownership, Control or Influence (FOCI). The BAA emphasizes strict adherence to Science and Technology (S&T) protection and Organizational Conflicts of Interest (OCI) disclosures. White papers should be submitted to the Technical Point of Contact and are suggested to align with fiscal year funding cycles, with deadlines generally falling around July 15 for subsequent years through FY28.

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

POSTED

DEADLINE

C-sUAS Systems Integration and Test Engineer

Engineering Services

POSTED

about 1 month ago

DEADLINE

Low-Collateral Autonomous Interceptor Developer

Aircraft Manufacturing

POSTED

about 1 month ago

DEADLINE

Electronic Warfare (EW) and Cyberspace Operations (CO) Specialist

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

POSTED

about 1 month ago

DEADLINE

Multi-Domain Force Applications and Traffic Management for Unmanned Aircraft Systems (M-FAT)

Solicitation # FA8750-25-S-7004

The Department of the Air Force, through the Air Force Materiel Command and AFRL Rome Research Site, has issued Broad Agency Announcement FA8750-25-S-7004 for Multi-Domain Force Applications and Traffic Management for Unmanned Aircraft Systems (M-FAT). This open, two-step BAA is effective until August 4, 2030, and seeks innovative research to enhance Counter-small Unmanned Aerial System (C-sUAS) kill chain and point defense capabilities. Key areas of interest include Electronic Warfare, Cyberspace Operations, Command and Control (C2) automation and autonomy, Low-Collateral Defeat interceptors, sensor technologies, and UAS Traffic Management (UTM). The goal is to improve system resiliency in contested environments, optimize responses to swarm attacks through AI/ML and sensor fusion, and develop resilient communication waveforms and networking protocols. Total estimated funding for this effort is approximately 499 million dollars, with individual awards typically ranging from 500 thousand to 20 million dollars, though some may reach up to 99 million dollars. Awards may be issued as FAR-based procurement contracts, grants, cooperative agreements, or Other Transactions. The selection process begins with the submission of a one to four page white paper, with formal proposals accepted by invitation only. Evaluation is based on technical merits and mission relationship, which are equal in importance, while cost is of less importance. Additionally, the BAA incorporates Gold Standard Science principles per Executive Order 14303 and requires strict adherence to S&T Protection and cybersecurity standards, including NIST SP 800-171 assessments.

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

POSTED

about 1 month ago

DEADLINE

in almost 4 years

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