The Secure Program Synthesis Fellowship is a premier four-month remote research program powered by Apart Research. It addresses the critical bottleneck in modern software development: as AI-driven code generation scales, the challenge shifts from implementation to the rigorous specification and validation of code. The fellowship focuses on improving how developers elicit, formalize, and validate specifications to build secure and reliable AI systems. Participants work in small, interdisciplinary teams led by expert mentors and dedicated project managers. The program is structured into two stages: initially focusing on a workshop paper or equivalent artifact, and culminating in a demo day or conference paper. This structure emphasizes rapid iteration and exploratory research, even when dealing with underspecified or intractable problems. The fellowship provides a robust support system, including research guidance, compute resources, API credits, and a vibrant community of peers. While the program is remote, travel funding is available for demo days and conferences. Although the roles are typically unpaid, stipends may be available for those who indicate a financial need in their application. Target Audience: Researchers, developers, and students with interests in proof engineering, redteaming, formal methods, or secure systems design. Geographic Eligibility: Remote (Global). Tangible Benefits: Research guidance, compute resources, API credits, travel funding for conferences, and potential stipends based on need. Application Deadline: May 9, 2026 (for Mentor/Project applications; participant calls typically follow).