Apart Research、Secure Program Synthesisフェローシップを開始

Apart ResearchとAtlas Computingは、フォーマルメソッドとAIセキュリティの交差点を対象としたSecure Program Synthesis Fellowshipを発表した。このプログラムは、AIシステムの仕様と検証に関する未指定の問題に対する研究を優先し、下流実装への貧弱な仕様からのリスクに対処する。参加者は、Erik MaijerやShriram Krishnamurthiなどのメンターの下で、プールエンジニアリング、Red Teaming、SMTソリューションなどのトピックに取り組む。申請者には特定の背景は要求されないが、検証済みソフトウェアまたは重要なシステム設計のスキルが好ましい。申請期限は5月31日である。