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

Top

Formal Methods Software Assurance Framework Design

Closed

Federal

Submission Closed06/12/2026, 05: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

Federal

Consolidated Operations, Management, Engineering and Test (COMET) Follow-On ContractThe contract involves comprehensive engineering services, ground system development, flight vehicle and spacecraft processing, as well as launch, landing, and recovery operations. These efforts will support major Exploration Systems Development programs including the Exploration Ground Systems, the Space Launch System, and the Orion Multi-Purpose Crew Vehicle. Additionally, the contract will extend support to the International Space Station Program, the Launch Services Program, and facilitate other NASA programs, commercial ventures, and partnerships operating at Kennedy Space Center. Named the Consolidated Operations, Management, Engineering and Test (COMET) Follow-On Contract, it is geared towards ensuring seamless integration and operational readiness across NASA's exploration-related initiatives. The contract's solicitation was posted with an emphasis on providing ongoing technical and operational support to key space exploration systems, emphasizing coordination across multiple programs to promote mission success. Contacts for the contract include a designated point of contact and a small business specialist to assist with inquiries and small business participation.

POSTED

DEADLINE

Aeronautics and Spaceflight Systems Engineering Support Services (ASSESS) IIThe Aeronautics and Spaceflight Systems Engineering Support Services (ASSESS) II contract focuses on providing research, technology development, and engineering support to advance NASA’s aircraft and spaceflight system missions. This contract covers a broad range of activities including scientific research, engineering design and analysis, advancing technology readiness levels, managing and implementing technology programs, conducting tests and operations, and supporting program and project management efforts. The work aims to adapt and enhance capabilities to meet evolving NASA mission requirements, ensuring continued innovation and technical progress in aeronautics and spaceflight systems. The contract is forecasted to be performed primarily at Moffett Field and falls under the NAICS code 541715, which relates to research and development services. While details about set-aside status are yet to be determined, the contract offers opportunities for various types of organizations to participate. Points of contact for the contract are Mary E. Livingston and Robert E. Watts, who serve as the main liaison and small business specialist respectively. This contract underscores NASA’s commitment to advancing scientific and engineering frontiers through comprehensive support of aeronautics and spaceflight system development.

POSTED

DEADLINE

FILMSS (Fully Integrated Lifecycle Mission Support Services) 3The FILMSS 3 contract is designed to provide comprehensive program, science, engineering, operations, and project management support primarily for biosciences flight development projects, including mission implementation, instrument development, and technology advancement. It also supports collaborative science initiatives such as astrobiology and virtual institutes, aeronautics research projects, and various offices within NASA's Ames Research Center. The contract encompasses specialized technical and professional assistance to facilitate efficient mission support activities at Ames. Work under this contract will take place mainly at Moffett Field and is intended to support a wide range of research and operational efforts aligned with NASA's goals. The contract is forecasted under NAICS code 541715, indicating professional scientific and technical consulting services, with details on set-aside status yet to be determined. Key points of contact include representatives for program and small business matters, providing an official communication channel. The scope reflects NASA's integrated approach to advancing life sciences and aeronautics research through collaborative and well-supported mission programs.

POSTED

DEADLINE

Marshall Engineering Technicians and Trades Support (METTS) IVThe METTS IV contract involves providing engineering technician and trades support services to the Marshall Space Flight Center (MSFC), specifically aiding the Engineering Directorate, Facilities Management Office, and other MSFC programs and projects. The contractor is responsible for delivering a broad range of technical and trade services across multiple disciplines within MSFC activities, ensuring compliance with the Performance Work Statement requirements. In addition to performing these technical tasks, the contractor must manage and oversee the work to guarantee successful completion of all specified requirements. This contract, identified by solicitation number nasa-a475a3595631f8ea, is forecasted for performance in Huntsville and falls under the NAICS code 541715, which covers engineering services. The type of set-aside for this contract is yet to be determined. Key points of contact include Myron H. Tapscott and Danielle R. Barnes, who serves as the small business specialist. The contracting agency is MSFC, part of NASA, with further information and updates available through the NASA procurement forecast website.

Marshall Space Flight Center

POSTED

DEADLINE

Engineering and Technical Support Services for Flight Research and Development (ETSS)The contract involves providing comprehensive engineering and technical support services for flight research and development at NASA's Armstrong Flight Research Center, located in Edwards. The scope covers a wide range of specialized disciplines including research, flight operations, aerodynamics, propulsion, dynamics and controls, advanced systems development, flight instrumentation, systems integration, aerostructures research, and range and subscale flight research. Additionally, support for safety and mission assurance is a critical component of the work, ensuring the reliability and security of flight research missions. The contractor is expected to supply all necessary personnel, services, and materials to support flight research projects, internal research and development efforts, and various technical functions. This includes providing disciplinary engineering expertise across multiple research and technical domains to support NASA’s ongoing innovation and operational goals in aerospace engineering. The work is forecasted to be under the NAICS code 541715, with key agency contacts identified to facilitate communication and coordination.

Armstrong Flight Research Center

POSTED

in 7 months

DEADLINE

N/A

AI Contract Overview

The contract focuses on designing a formal methods-based framework that establishes a scalable taxonomy and roadmap for graduated software assurance levels. This framework aims to integrate considerations of mission risk, cost, and software lifecycle phases to enhance the thoroughness and reliability of software assurance practices. The work is intended to support defense applications by providing a structured approach to software assurance tailored to varying assurance needs and operational contexts. Issued by the Defense Advanced Research Projects Agency (DARPA) under the Department of Defense, the contract is categorized as a subcontract opportunity with NAICS code 541715, which corresponds to research and development in the physical, engineering, and life sciences. The solicitation was posted on May 4, 2026, with a response deadline set for June 12, 2026. Specific details regarding the location of performance, points of contact, or set-aside status are not provided. The initiative represents an effort to enhance software assurance methodologies critical to defense technology development.

General Info

Design formal methods framework for scalable, risk-based software assurance in defense applications.

Agency

Department Of Defense → Defense Advanced Research Projects Agcy

NAICS

541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) View NAICS

Place of Performance

Set-Aside

NONE

Documents

(0)

No documents available

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

PhaseClosed

PostedMay 4

subcontract

Response DeadlineJun 12

Deadline has passed

Submission Closed

06/12/2026, 05: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 → Defense Advanced Research Projects Agcy

ContactsNo contacts available

OfficeN/A

Organization / Agency

Department Of Defense → Defense Advanced Research Projects Agcy

Office AddressN/A

ContactsNo contact information available

Full Description

Develop a scalable taxonomy and roadmap for graduated software assurance levels using formal methods, aligned with mission risk, cost, and lifecycle phase.