grant
Collaborative Research: SHF: Medium: Probabilistic Concurrent Outcome Logic (pcOL) -- Expressive Specifications for Concurrent Randomized Programs
Organization New York UniversityLocation NEW YORK, United StatesPosted 1 Oct 2025Deadline 30 Sept 2029
NSFUS FederalResearch GrantScience FoundationNY
Description preview
Software bugs can have disastrous consequences, ranging from financial costs to loss of human life. As a result, for high-stakes systems, software vendors are increasingly applying techniques that can prove the absence of various kinds of bugs. However, existing techniques have limitations that make them inapplicable for certain types of programs…
🔒
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