grant
CAREER: Formal Specifications as a Foundation for Aligned and Automated Software Engineering
Organization University of Massachusetts AmherstLocation AMHERST, United StatesPosted 1 Jul 2026Deadline 30 Jun 2031
NSFUS FederalResearch GrantScience FoundationMA
Description preview
Modern software increasingly relies on autonomous AI-driven systems that generate, test, and revise code. Yet even the most advanced tools struggle with a simple question: does the software behave as intended? The answer depends on clear descriptions of expected behavior, known as formal specifications. In practice, such specifications are rare…
🔒
Start 7-day free trial — $29.99/mo →Full details available on the Agency plan
Unlock the complete grant description, eligibility criteria, contract value, evaluation details and apply link — plus alerts, pipeline tracking, and CSV export.
Agency Plan
7-day free trialUnlock procurement & grants
Upgrade to access active tenders from World Bank, UNDP, ADB and more — with email alerts and pipeline tracking.
$29.99 / month
- 🔔Email alerts for new matching tenders
- 🗂️Track tenders in your pipeline
- 💰Filter by contract value
- 📥Export results to CSV
- 📌Save searches with one click