The National Science Foundation seeks applicants for the Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program to support research at the interface of computational and artificial intelligence technologies and mathematical reasoning strategies that automate knowledge discovery, with no application deadline specified in the source material.
Eligible applicants include institutions of higher education (two- and four-year IHEs, including community colleges) accredited and campus-located in the U.S., and non-profit, non-academic organizations such as independent museums, observatories, research laboratories, and professional societies located in the U.S. and directly associated with educational or research activities. Any PI, co-PI, or senior/key personnel must hold either a tenured or tenure-track position, or a primary, full-time, paid appointment in a research or teaching position at a U.S.-based campus of an eligible organization, with exceptions for family or medical leave as determined by the submitting organization. Individuals with primary appointments at for-profit organizations or at overseas branch campuses of U.S. institutions are not eligible.
The program emphasizes machine-assisted mathematical reasoning encompassing conjecture, proof, and verification through formal methods, interactive theorem provers, and artificial intelligence techniques. The source does not specify award ceiling, award floor, expected number of awards, period of performance, place of performance, cost share requirements, evaluation criteria, or weighting. The opportunity is funded under NSF CFDA 47.049 (Mathematical and Physical Sciences).