grant
CAREER: Foundations and Verification of Parsers and Type Checkers
Organization Regents of the University of Michigan - Ann ArborLocation ANN ARBOR, United StatesPosted 1 May 2026Deadline 30 Apr 2031
NSFUS FederalResearch GrantScience FoundationMI
Description preview
Parsing untrusted inputs into formats usable by software systems is a ubiquitous, security-critical task. Bugs in parsing components are one of the most common sources of critical security vulnerabilities in practice. As more software is automatically generated by AI systems, this problem exacerbates as manual human auditing for correctness and…
🔒
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