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

Skip to main content

Contracts Grants Pricing Blog Glossary

Loading...

Kontrakk

The only workspace built for the work of government contracting.

Platform

Discovery feed
Pursuit board
Grants

Industries

Federal contractors
Defense primes
Nonprofit grants
Higher education

Resources

Help center
Developer docs

Company

About
Privacy
Terms of Service

© 2026 Kontrakk. All rights reserved.Government Contracts. Won with Confidence.

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

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

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

posted

synopsis

#24-554

Agency

U.S. National Science Foundation

Code: NSF

Description

No description available

Important Dates

Open Date

Oct 13, 2026

CFDA Numbers

47.049

View on Grants.gov

More grants from U.S. National Science Foundation

Materials Innovation Platforms (MIP)
U.S. National Science Foundation
Quantum Leap Challenge Institutes (QLCI)
U.S. National Science Foundation
Science and Technology Centers: Integrative Partnerships
U.S. National Science Foundation
Strengthening American Infrastructure (SAI)
U.S. National Science Foundation
Foundations for Operating the National Artificial Intelligence Research Resource: the NAIRR Operations Center (NAIRR-OC)
U.S. National Science Foundation