Code Metal Launches Research Awards of Up to $40K Each for Verified Code Translation
toddhooper · x · 2026-09-25
Code Metal launched the Verified Code Translation Research Awards, funding university faculty advancing the science of verified code translation. Up to four awards of $40,000 each will be granted by an expert panel; proposals on formal semantics, program equivalence verification, and formal-methods/AI tooling are open from August 18 to October 8.
More from Companies & People
- Sam Altman: racing competitors is no excuse for rash AI decisions; OpenAI has slowed down unilaterally — haider1 · 2026-09-25
- Elon Musk reshares old post warning against complacency and entitlement — shaunmmaguire · 2026-09-25
- Economist Study: AI Boosts Homework Scores 18% but Exam Scores Fall 20% — robleclerc · 2026-09-25
- Meta's Muse agent looks a lot like OpenClaw, fueling wrapper-app claims — haydenfield · 2026-09-25
- NeurIPS desk-rejects 5/5/5-scored paper over one co-author's policy violation — AccBalanced · 2026-09-25
- Stanford launches CS329Z, a full course on engineering AI agents — stanfordnlp · 2026-09-25