Code Metal 设四项研究奖,单项最高 4 万美元资助形式化验证
toddhooper · x · 2026-09-25
AI 与形式化方法公司 Code Metal 推出「Verified Code Translation Research Awards」，面向高校教师征集推进可验证代码翻译科学基础的研究提案。
- 资助方向：程序等价性验证、形式化语义、形式化方法与 AI 结合、可复用的开源工具
- 将评选最多 4 项获奖提案，每项资助最高 4 万美元，付给获奖者所在机构
- 申请窗口为 8 月 18 日至 10 月 8 日，由专家评审团评选
- 公司称此举是对形式化方法社区长期学术积累的回馈投资
「公司和人」频道最新
- 预告：今日下午 5 点 PT 在 X 上有发布，别错过 — markjeffrey · 2026-09-25
- LangChain Interrupt NYC 末场议程：Rogo 创始人对谈与 LinkedIn 大规模 Agent 评测 — LangChain · 2026-09-25
- 「手术机器人之父」Russell Taylor 获 2027 IEEE 机器人自动化大奖 — mdredze · 2026-09-25
- Google DeepMind 一周后办 Nerdearla 侧会，HF 与 Vercel 助阵 — osanseviero · 2026-09-25
- Gokul Raj 给25岁自己的三条建议：关系、主见、聚焦 — avlok · 2026-09-25
- Amazon 封锁 Meta Muse 购物智能体,Shopify 却向其开放 Shop Pay — RichardSocher · 2026-09-25