| Industry | Estimated fit |
|---|---|
| Arts & CultureLimit: Nothing in this notice points to arts & culture | 54 |
| Education & TrainingLimit: Nothing in this notice points to education & training | 54 |
| Environment & ConservationLimit: Nothing in this notice points to environment & conservation | 54 |
| Social Services & NonprofitLimit: Nothing in this notice points to social services & nonprofit | 54 |
| Agriculture & FarmingLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Construction & InfrastructureLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Industry | Estimated fit |
|---|---|
| Energy & Clean TechLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Finance & BankingLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Food & BeverageLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Healthcare & BiotechLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Housing & Real EstateLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| ManufacturingLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Retail & E-CommerceLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Technology & SoftwareLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
| Transportation & LogisticsLimit: Only governments, nonprofits, tribes or universities may apply —… | 0 |
These are our matcher’s estimates for a typical business in each industry. A real match depends on your size, your state and what you need the money for — check your own fit.
NSF program funding research at the interface of AI, formal methods, and mathematical reasoning to automate knowledge discovery. Proposals may be submitted only by accredited US institutions of higher education and by US non-profit, non-academic organizations directly associated with educational or research activities. For-profit organizations and small businesses are not eligible.
The 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.
Our reading of the listing: for-profit businesses are not eligible for this one.
Who May Submit Proposals: Proposals may only be submitted by the following:
null
Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities.
Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members.
Who May Serve as PI:
As of the date the proposal is submitted, 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 US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
Topics
Open opportunities funding similar work, from the same funder or in the same place.
NSF Mathematical Biology Program funds research at the intersection of mathematics and biology, including theory, methods, tools, conferences, workshops, and supplements. Eligibility is unrestricted, so universities,…
NSF funds accredited US two- and four-year institutions of higher education, including community colleges, to host summer research experiences for K-14 educators in engineering and computer science. Teachers build…
NSF grants to federally recognized Tribal Colleges and Universities, Alaska Native-serving and Native Hawaiian-serving institutions for STEM education, research, faculty development, cyberinfrastructure, and community…
Fellowships for U.S. citizens, nationals, or lawful permanent residents who earned a doctorate within the past five years to carry out up to three years of independent research plus an education plan in astronomy or…
NIH/NCI K99/R00 career-development award for early-stage postdoctoral researchers (with research or clinical doctorates) transitioning to independent tenure-track faculty positions; requires the candidate to lead an…
NIH/NCI UH3 cooperative agreement to clinically validate established molecular, cellular, or imaging biomarker assays for cancer detection, diagnosis, prognosis, monitoring, or treatment response using specimens from…