grant

CAREER: Patterns and Toolkits for Making Scientific Notation and Formal Proof Understandable through Interaction

Organization University of PennsylvaniaLocation PHILADELPHIA, United StatesPosted 1 Jun 2026Deadline 31 May 2031
NSFUS FederalResearch GrantScience FoundationPA
Sign up free to applyApply link · pipeline · email alerts
— or —

Get email alerts for similar roles

Weekly digest · no password needed · unsubscribe any time

Description preview

Some of the most powerful ideas in STEM are expressed in symbols, equations, and proofs. Unfortunately, these formal representations (i.e., formalisms) can be hard to understand, putting distance between millions of learners, practitioners, and scientists and the concepts that could support their work. The fact that scientific texts are becoming…

🔒

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.

Start 7-day free trial — $29.99/mo →

Agency Plan

7-day free trial

Unlock 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
Start 7-day free trial →

Explore more

📍 More grants in United States🏷 More NSF opportunities🏷 More US Federal opportunities🏷 More Research Grant opportunities🏢 All nsf_awards opportunities
CAREER: Patterns and Toolkits for Making Scientific Notation and Formal Proof Understandable through Interaction — Unive | Dev Procure