Apart Research 和 Atlas Computing 已开放 Secure Program Synthesis Fellowship 的申请。这是一个兼职研究机会，专注于形式化方法、AI 系统和安全。参与者将以小组形式合作，在 Erik Maijer 和 Shririam Krishnamurthi 等专家的指导下，开展与规范、验证和对抗性鲁棒性相关的项目。随着代码生成日益普及，该研究金旨在应对确保 AI 系统安全可靠的日益严峻的挑战，申请截止日期为 5 月 31 日。 AI
影响 通过专注于代码生成中的规范和验证挑战，解决了对安全可靠的 AI 系统的关键需求。
排序理由 该集群描述了一个研究金项目的申请开放，这是一种产品或服务。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →