U.S. National Science FoundationIssuing agency·Nationwide·via the Grants.gov Search APIThe 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.
We post new science & technology research opportunities as agencies publish them. Get them in one email — free, and unsubscribe whenever.
"25""Others (see text field entitled \"Additional Information on Eligibility\" for clarification)""G""Grant""ST""Science and Technology and other Research and Development""NSF""NSF""NSF""U.S. National Science Foundation""NSF""NSF""NSF""NSF""U.S. National Science Foundation""NSF"Most public work asks for the two below, and the solicitation documents are where it’s stated. One prequalification covers both — on this bid and the next.
A surety’s written statement that it expects to bond you up to a stated amount, subject to final underwriting. It’s what an agency asks to see before they take your bid seriously.
Source: Grants.gov (opportunity 364068), retrieved via the Grants.gov Search API. View the official posting, and always confirm requirements and deadlines with the issuing agency.