NSF requires disclosure of AI tool usage in proposal preparation. Ensure you disclose the use of FindGrants' AI drafting in your application.
NSF
The Institute for Computer-Aided Reasoning in Mathematics (ICARM) is a national institute dedicated to catalyzing fundamental advances in mathematics by harnessing the ongoing revolution in AI and computer-assisted reasoning. Its mission is to empower mathematicians by providing them with the tools and expertise to effectively integrate artificial intelligence, machine learning, formal methods, and automated reasoning into their research. Mathematics is integral to scientific and technological achievement, underpinning advances across critical areas such as quantum computing, cybersecurity, data science, computational modeling, and engineering. The institute serves as a crucial resource for leveraging recent breakthroughs in artificial intelligence to accelerate progress in mathematics. ICARM emphasizes interdisciplinary collaboration among mathematicians, computer scientists, and students. The institute helps to train the next generation of researchers in computational methodologies, preparing them for a broad range of scientific careers, and actively expanding the research community in mathematics. ICARM provides specialized technical expertise to support mathematicians in adopting and utilizing advanced tools for computer-aided reasoning to power mathematical research. The institute provides direct support for automated reasoning, formal verification, machine learning, and AI, significantly enhancing mathematical research capabilities. ICARM organizes targeted events, including workshops, collaborative research visits, and intensive summer training programs, to disseminate these skills and promote the integration of these advanced techniques into mathematical practice. These collective efforts foster new mathematical insights, stimulate interdisciplinary collaboration, and ensure robust, hands-on support for advancing research in mathematics through cutting-edge machine-driven reasoning. This award by the Division of Mathematical Sciences is also supported by the Office of Advanced Cyberinfrastructure and the Division of Computing and Communication Foundations in the NSF Directorate for Computer and Information Science and Engineering and the Office of Strategic Initiatives in the NSF Directorate for Mathematical and Physical Sciences. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
Up to $4.1M
2028-08-31
We'll draft the complete application against NSF's requirements, run a quality review, and email you a submission-ready PDF plus an editable Word doc within 5 business days. Most orders deliver in 24-48 hours. Flat $399, any grant size.
Detailed requirements not yet analyzed
Have the NOFO? Paste it below for AI-powered requirement analysis.
Subscribe for Pro access · Includes AI drafting + templates + PDF export
Research Infrastructure: National Geophysical Facility (NGF): Advancing Earth Science Capabilities through Innovation - EAR Scope
NSF — up to $26.6M
AmLight: The Next Frontier Towards Discovery in the Americas and Africa
NSF — up to $9M
EPSCoR CREST Phase I: Center for Energy Technologies
NSF — up to $7.5M
CREST Phase II Center for Complex Materials Design
NSF — up to $7.5M
EPSCoR CREST Phase I: Center for Post-Transcriptional Regulation
NSF — up to $7.5M
EPSCoR CREST Phase I: Center for Semiconductors Research
NSF — up to $7.5M