实体
Secure Program Synthesis Fellowship
Secure Program Synthesis Fellowship
PulseAugur coverage of Secure Program Synthesis Fellowship — every cluster mentioning Secure Program Synthesis Fellowship across labs, papers, and developer communities, ranked by signal.
总计 · 30天
0
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
时间线
- 2026-05-25 product_launch Apart Research and Atlas Computing launched applications for the Secure Program Synthesis Fellowship. 来源
最近 · 第 1/1 页 · 共 3 条
-
Apart Research 推出 Secure Program Synthesis Fellowship
Apart Research 和 Atlas Computing 已开放 Secure Program Synthesis Fellowship 的申请。这是一个兼职研究机会，专注于形式化方法、AI 系统和安全。参与者将以小组形式合作，在 Erik Maijer 和 Shririam Krishnamurthi 等专家的指导下，开展与规范、验证和对抗性鲁棒性相关的项目。随着代码生成日益普及，该研究金旨在应对确保 AI 系统安全可靠的日…
-
人工智能安全聚焦形式化方法，举办黑客松并涌现新创企业
人工智能安全社区正围绕形式化方法进行组织，举办了专注于安全程序合成的黑客松和研究员项目。Midspiral、Sequent 和 Sigil Logic 等新公司正在这一领域崭露头角，将形式化方法应用于 Web 开发和人工智能安全等领域。此外，一项关于网络加固人工智能系统的新资金呼吁以及一项针对人工智能安全硬件的驻留计划，都凸显了对这些关键领域日益增长的关注。
-
安全程序合成奖学金项目寻求AI代码正确性项目的导师
Apart Research和Atlas Computing正在启动一项专注于安全程序合成的奖学金项目，旨在将形式化方法应用于AI生成的代码。该项目正在为需求获取、验证、基于规范的开发和对抗性鲁棒性等项目寻找导师。导师申请截止日期为2026年5月5日，相关的黑客马拉松将于5月22日至24日举行。