Grants for Research on Artificial Intelligence, Formal Methods, and Mathematical Reasoning

  1. Funding & Proposal Support
  2. Find Funding
  3. Grants for Research on Artificial Intelligence, Formal Methods, and Mathematical Reasoning
  4. Grants for Research on Artificial Intelligence, Formal Methods, and Mathematical Reasoning

Key Information

Direct Link to Opportunity

https://www.nsf.gov/funding/opportunities/aiming-artificial-intelligence-formal-methods-mathematical/nsf24-554/solicitation

Application Deadline

Amount:

$500,000 - $1.2 Million for up to 3 years

Fund Type

Grant

Funding Agency

National Science Foundation

Agency Type

Federal

Internal or External

External

Status of Applicants

See Opportunity Website

Discipline(s)

See Opportunity Website

Contact

See Opportunity Website

Additional Details

Date Posted: