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 14 at 2:00 PM ET

Register Free →
CLEATUS
Get CLEATUS

Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Active
24-554Grant

Contract Overview

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

AI Contract Overview

Show more

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program, issued by the National Science Foundation under solicitation number 24-554, focuses on supporting research at the intersection of AI technologies and mathematical reasoning strategies. The initiative aims to automate knowledge discovery by leveraging formal methods, interactive theorem provers, and innovative computational techniques to enhance conjecture, proof, and verification processes. This federal solicitation seeks to capitalize on recent technological advances to foster collaboration between the mathematical sciences, formal methods, and AI communities. By integrating these disciplines, the program intends to drive breakthroughs in machine-assisted mathematical reasoning that will ultimately provide significant reciprocal benefits to the broader field of artificial intelligence.

General Info

NSF solicitation 24-554 funds AI and formal methods research for automated mathematical reasoning.

Agency

National Science Foundation

NAICS

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

Place of Performance

Not specified

Set-Aside

NONE

Documents

0

No documents available

Documents will appear here when they are available.

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

PhaseSolicitation
Posted

Solicitation

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
AgencyNational Science Foundation
Contacts1 person available
OfficeUSA
Organization / Agency
National Science Foundation
Office AddressUSA
Contacts
U.S. National Science Foundation
contact@example.gov
+1 (555) 000-0000

Full Description

Show more

The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities.  In turn, advances in this field have potential impact on research in AI.

Similar Contracts

Same NAICS industry code

NAICS: 541715
New
Federal
RF Modeling, Simulation & Technical IntegrationThe RF Modeling, Simulation and Technical Integration subcontract supports the Defense Information Systems Agency in its IT modernization efforts. The primary objective is to perform mathematical validation of RF propagation and Electronic Warfare models for prime contractors, ensuring adherence to physics-based modeling standards. This work facilitates critical data exchange between Joint Tactical Fires systems, JC2, and MSS. Technical execution involves the use of specialized RF Propagation Modeling software, Edge Data Mesh, and JOE Cloud. The successful contractor is responsible for delivering comprehensive interoperability specifications and model validation reports. This opportunity falls under NAICS code 541715 and is associated with the Department of Defense.
Defense Information Systems Agency

POSTED

about 23 hours ago

DEADLINE

in 13 days
View Details
NAICS: 541715
New
Federal
Computational Modeling & Simulation (Blast Effects)This subcontract opportunity with the Army Medical Resources Acq Activity involves the development of advanced computational models and simulations to predict human physiological responses to blast and blunt impact. The selected provider will be responsible for creating high-fidelity simulations of blast-wave interactions, defining specific model parameters related to brain injury, and building upgradable platforms for future technology integration. The final deliverables include fully validated models and comprehensive technical documentation. The project is categorized under NAICS code 541715 and will be performed in Frederick, Maryland. Interested parties must submit their responses by November 3, 2026, following the posting date of October 13, 2026. This effort supports prime contractors in delivering critical predictive tools for the Department of Defense.
Army Medical Resources Acq Activity

POSTED

about 23 hours ago

DEADLINE

in 20 days
View Details
NAICS: 541715
New
Federal
Data Assimilation and OSSE Framework DevelopmentThis subcontract, titled Data Assimilation and OSSE Framework Development, involves the creation of synthetic observation and error frameworks for prime contractors supporting NASA Goddard Space Flight Center projects. The scope of work focuses on utilizing the IDEA framework to construct synthetic observations for GDC Trailblazer, MoSAIC, and DAPHNE mission parameters, specifically to estimate geomagnetic indices and solar irradiance. The primary deliverables for this effort include synthetic observation datasets and error covariance matrices. The project is managed through the NASA Shared Services Center under NAICS code 541715. Due to the technical nature of the requirements, the position necessitates an advanced degree in Atmospheric Science or Computational Physics. The opportunity was posted on October 13, 2026, with a response deadline of October 16, 2026.
NASA Shared Services Center

POSTED

about 23 hours ago

DEADLINE

in 2 days
View Details
NAICS: 541715
New
Federal
Physics-Based Thermospheric Modeling SupportThis subcontract, titled Physics-Based Thermospheric Modeling Support, involves providing specialized scientific modeling and simulation of the Earth's thermosphere for prime contractors supporting NASA Goddard Space Flight Center projects. The scope of work focuses on executing simulations using TIE-GCM and WAM-IPE models to generate nature runs driven by storm-time forcing. These operations are carried out utilizing the IDEA framework and NASA High-End Computing architectures, specifically the Aitken and Pleiades systems. The primary deliverables for this engagement include validated simulation data, nature-run outputs, and detailed thermospheric specification analysis. Managed through the NASA Shared Services Center under NAICS code 541715, the contract ensures the delivery of critical physics-based data to support ongoing aerospace and atmospheric research initiatives.
NASA Shared Services Center

POSTED

about 23 hours ago

DEADLINE

in 2 days
View Details
NAICS: 541715
New
Federal
3 Month L-PBF of DS Steels and Refractory Alloys
Solicitation # 80NSSC27943768Q
NASA Shared Services Center

POSTED

about 23 hours ago

DEADLINE

in 2 days
View Details
NAICS: 541715
New
Federal
Mild Traumatic Brain Injury (mTBI) Blast Injury Prevention Standards Request for Information
Solicitation # CB4_SW_mTBI_RFI
The Army Medical Resources Acq Activity, acting for the Department of Defense and the Department of War Blast Injury Research Coordinating Office, has issued a Request for Information (RFI) titled Mild Traumatic Brain Injury (mTBI) Blast Injury Prevention Standards. This action is intended solely for information and program planning purposes to support the Military Health System Blast Injury Prevention Standards Recommendation process. The primary objective is to identify and obtain biomedically valid standards, criteria, thresholds, and computational models regarding human physiological and biomechanical responses to blast insults. These insights will be used to inform health hazard assessments, survivability assessments, and the development of protection systems to mitigate injuries from blast pressure and blunt impact. The government is seeking input from industry, academia, and federal agencies regarding existing or emerging mTBI blast injury models, dose-response curves, and methodologies, as well as the identification of current knowledge gaps and qualified researchers. In accordance with FAR 15.201(e), this notice does not constitute a formal solicitation, and responses are not considered offers to form a binding contract. Interested parties must follow a specific submission workflow involving a contact form to receive access credentials for the submission site. The response deadline is November 3, 2026, and all inquiries should be directed to the Contract Specialist, Skylar Wells.
Army Medical Resources Acq Activity

POSTED

about 23 hours ago

DEADLINE

in 20 days
View Details
NAICS: 541715
New
Federal
A--SBIR FY26 Phase I Broad Agency Announcement
Solicitation # 68HERW26R0102
The Environmental Protection Agency's Tribal and Science Division Water has issued a Broad Agency Announcement for the FY26 Phase I Small Business Innovation Research Program. This solicitation, numbered 68HERW26R0102, is specifically designated as a total set-aside for small businesses under NAICS code 541715. The opportunity is managed by the agency's office located in Cincinnati, Ohio. Interested small businesses must submit their responses by the deadline of November 9, 2026. Primary inquiries regarding this solicitation can be directed to Paige Long. Further details and application procedures are available through the official government workspace link.
Tribal & Science Division Water

POSTED

about 23 hours ago

DEADLINE

in 26 days
View Details
NAICS: 541715
New
Federal
Thermospheric Observing System Simulation Experiments (OSSEs) for Future NASA/Heliophysics Missions
Solicitation # 80NSSC27943636Q
The NASA Shared Services Center is seeking to award a sole source contract to Leocast Space LLC for Thermospheric Observing System Simulation Experiments (OSSEs) to support future NASA Heliophysics missions. This procurement, categorized under NAICS 541715, follows FAR Part 12 procedures for commercial items and services. The effort will be procured by the NASA Shared Services Center with performance located at the NASA Goddard Space Flight Center. The period of performance is scheduled from August 1, 2026, through September 30, 2027. The technical scope involves conducting targeted OSSEs to quantify how measurement capabilities from the GDC Trailblazer and DAPHNE missions improve thermospheric specification and short-term prediction. Utilizing the Iterative Driver Estimation and Assimilation (IDEA) framework and physics-based models such as TIE-GCM and WAM-IPE, the contractor will perform controlled assimilation experiments. These experiments will analyze in situ GDC Trailblazer/MoSAIC observations, remotely sensed DAPHNE observations, and GNSS-derived orbit-effective mass densities. Interested organizations were requested to submit capability statements by October 16, 2026, for the purpose of determining whether to proceed with a competitive procurement.
NASA Shared Services Center

POSTED

about 23 hours ago

DEADLINE

in 2 days
View Details
NAICS: 541715
New
Federal
Search and Rescue Satellite-Aided Tracking (SARSAT) United States Mission Control Center (USMCC) Operations, Maintenance, and Technical Support
Solicitation # SARSAT-OMS-SSN
The National Oceanic and Atmospheric Administration (NOAA) is conducting market research via a Sources Sought Notice to identify capable small and large businesses for the operations, maintenance, and sustainment support of the Search and Rescue Satellite-Aided Tracking (SARSAT) United States Mission Control Center (USMCC). The primary objective is to ensure the 24x7x365 collection and distribution of accurate distress alert and location data to protect life and property. The anticipated period of performance consists of a base year followed by four option years. Work will be performed primarily at the NOAA Satellite Operations Facility in Suitland, Maryland, with additional requirements at a remote site in College Park, Maryland, and a backup facility in Fairmont, West Virginia. The selected contractor must provide comprehensive technical and programmatic support, including monitoring remote satellite receiving stations, managing the national 406 MHz emergency beacon database, and coordinating with national agencies such as NASA, USCG, and FAA, as well as international bodies like Cospas-Sarsat and the ITU. Key requirements include a working knowledge of DOC and NOAA IT security, compliance with U.S. Coast Guard cybersecurity manuals, and adherence to Department of Commerce security regulations. All contractor personnel must possess a secret security clearance and comply with the National Industrial Security Program Operating Manual. This requirement falls under NAICS code 541715.
Department Of Commerce Noaa

POSTED

about 23 hours ago

DEADLINE

in 14 days
View Details
NAICS: 541715
New
Federal
Request for Proposal (RFP) - Resilient Missile Warning Tracking (RMWT) Low Earth Orbit (LEO) Ground Entry Points (GEPs)
Solicitation # FA240126R0003
The Space Development Agency is soliciting proposals under solicitation FA240126R0003 for the Resilient Missile Warning Tracking (RMWT) Low Earth Orbit (LEO) Ground Entry Points (GEPs) effort. This IDIQ contract, which has a ceiling of 369 million dollars, covers the detailed design, civil engineering, procurement, installation, integration, and maintenance of GEP sites at multiple globally dispersed locations. The scope of work specifically includes the delivery of communications shelters, RF antennas and electronics, optical terminals and electronics, networking equipment, and software, as well as the development of Test Ground Support Equipment and Auxiliary Development Units. The acquisition utilizes a best-value tradeoff source selection process where technical, management, and past performance factors are significantly more important than price. Proposals are due by 4:00 PM Eastern Time on November 23, 2026, and must be submitted in seven volumes via the DoD Secure Access File Exchange. The contract structure includes a base period from March 31, 2027, to March 30, 2028, with an option period extending to March 30, 2029, and an overall ordering period through September 30, 2031. Pricing is a mix of Firm-Fixed-Price for labor and materials and Cost-Reimbursable for other direct costs and travel. Key compliance requirements include adherence to CMMC Level requirements, safeguarding of covered defense information per DFARS 252.204-7012, and a minimum small business participation requirement of 5 percent for large business offerors. Contractors must also implement unique item identification based on MIL-STD-130 and follow MIL-STD-129 for shipment and storage labeling. All invoicing and payment processing will be conducted through the Wide Area WorkFlow system.
FA2401 Space Development Agency Sda

POSTED

about 23 hours ago

DEADLINE

in about 1 month
View Details
NAICS: 541715
New
Federal
ACC-DTA Ground Maneuver Commercial Solutions Opening (CSO)
Solicitation # W912CH-26-S-0001
The ACC-DTA Ground Maneuver Commercial Solutions Opening (CSO), solicitation W912CH-26-S-0001, is a streamlined acquisition initiative authorized under DFARS Subpart 212-70. Its primary objective is to rapidly procure innovative commercial products, services, and non-developmental items to enhance the development, integration, and sustainment of ground vehicle systems. The program utilizes a multi-phased competitive process—typically involving solution briefs, presentations, and commercial solution proposals—to expedite the delivery of critical technologies that support Army modernization and operational readiness. Awards may be structured as fixed-price or fixed-price incentive fee contracts, utilizing FAR Part 12 commercial procedures, non-FAR transaction agreements under 10 U.S.C. 4022, or Cooperative Agreements under 31 U.S.C. 6305. The scope of the CSO is broad and flexible, with various Areas of Interest (AoIs) added through 2028. Key initiatives include the TIGER Readiness program for the Abrams Main Battle Tank AGT 1500 engine, the Future Advanced Long-Range Common Optical/Netted-Fires Sensor (FALCONS) prototype with a funding ceiling of 24 million dollars, and the Light Tactical Trailer Heavy Chassis (LTT-HC). Other priorities include Counter-Unmanned Aircraft Systems (C-UAS) detection, Mobile Camouflage Systems, and additive manufacturing for component production. Evaluation is based on technical approach, performance schedule realism, and price affordability. To be eligible for award, vendors must be registered in the System for Award Management (SAM) with a Unique Entity ID and meet specific quality and security standards, including Buy American Act compliance and NIST SP 800-171 for handling controlled unclassified information.
W6QK Acc- Dta

POSTED

about 23 hours ago

DEADLINE

in about 2 years
View Details
NAICS: 541715
New
Federal
Office of Hazardous Materials Safety Research Initiative – FY2026 BROAD AGENCY ANNOUNCEMENT (BAA)
Solicitation # PHMSA-26HM-BAA
The U.S. Department of Transportation's Pipeline and Hazardous Materials Safety Administration (PHMSA), Office of Hazardous Materials Safety, is soliciting research proposals under Broad Agency Announcement PHMSA-26HM-BAA pursuant to FAR 35.016. The initiative seeks innovative scientific, technical, engineering, and policy solutions to enhance safety and prevent incidents during the transportation of hazardous materials. Research is focused on five core topic areas: Efficient Safety Standards (26HM-ESS), Safe Energy Storage Technologies (26HM-SST), Innovative Packaging (26HM-IPG), Risk Reduction for Emergency Response (26HM-RER), and Hazardous Materials Rail Transportation Safety (26HM-RTS). The selection process consists of two phases, beginning with a white paper submission due by November 18, 2026, followed by invited full proposals. Awards will be issued as Firm-Fixed-Price or Cost-Reimbursement procurement contracts with a ceiling of $2,000,000 per independent submission and a total performance period of up to 36 months. Eligible applicants include U.S.-based industry, accredited universities, non-profits, and permitted federally affiliated research centers, with foreign universities eligible only as subcontractors. Evaluation for both phases heavily weights technical merit, feasibility, and relevance to the program mission, while also considering team qualifications and submission quality. Awardees will be required to provide various deliverables, including progress reports, a data management plan, and a project one-pager, all of which must be 508-compliant. Submissions must adhere to strict formatting guidelines and be sent electronically to the designated point of contact.
693JK3 Acquisition Services Division

POSTED

about 23 hours ago

DEADLINE

in about 1 month
View Details

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

Miguel
Hillary
Keith Deutsch
Christine

Join 750+ contractors already using CLEATUS