grant

Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Body Computations

Organization North Carolina State UniversityLocation RALEIGH, United StatesPosted 1 May 2026Deadline 30 Apr 2029
NSFUS FederalResearch GrantScience FoundationNC
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

Tensor contraction sequences are foundational computations in quantum chemistry, quantum physics, and materials science. As these workloads grow in scale and complexity, scientists increasingly rely on optimization techniques — mixed precision, reordering, and fusion — to reduce runtime and memory costs. While effective, these optimizations can…

🔒

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 →
Collaborative Research: CS2: Formally Verified and Performance-Optimized Tensor Contraction Sequences in Quantum Many-Bo | Dev Procure