Apart Research 推出安全程式合成獎學金項目

Apart Research 與 Atlas Computing 公告了安全程式合成研究員計畫（Secure Program Synthesis Fellowship），目標在於形式化方法和 AI 安全的交叉領域。該計畫優先研究有關 AI 系統如何被指定和驗證的未完全規範問題，解決由不完善的規範所導致的風險，並將其貫穿到下游實現中。參與者將在 Erik Maijer 和 Shriram Krishnamurthi 等導師的指導下，以小團隊的形式研究證明工程（proof engineering）、紅隊演練（redteaming）和 SMT 求解等主題。申請者不需要特定的背景，但如果具有驗證軟體或關鍵系統設計的經驗，則更為優先。申請截止日期是 5 月 31 日。