Brief

Apart Research and Atlas Computing have opened applications for the Secure Program Synthesis Fellowship, a part-time research opportunity focused on formal methods, AI systems, and security. Participants will collaborate in small teams on projects related to specification, validation, and adversarial robustness, led by experts like Erik Maijer and Shririam Krishnamurthi. The fellowship aims to address the growing challenge of ensuring secure and reliable AI systems as code generation becomes more prevalent, with applications due by May 31st. AI

The AI security community is organizing around formal methods, with a hackathon and fellowship program focused on secure program synthesis. New companies like Midspiral, Sequent, and Sigil Logic are emerging in this space, applying formal methods to areas like web development and AI safety. Additionally, a new funding call for cyberhardening AI systems and a residency program for hardware in AI security highlight the growing focus on these critical areas. AI