Applications open for the Secure Program Synthesis Fellowship

Published on May 25, 2026 10:01 AM GMT TL;DR: Applications are now open for the Secure Program Synthesis Fellowship , powered by Apart Research and Atlas computing . Apply by Sunday the 31st of May . This fellowship offers part-time research opportunities on mentor-led projects at the intersection of formal methods, AI systems, and security . Participants work in small teams to tackle challenging, underspecified problems in specification, validation, and adversarial robustness. Why This Matters