Apart Research & Atlas Computing launch Secure Program Synthesis Fellowship

Applications are now open for the Secure Program Synthesis Fellowship, a part-time research program powered by Apart Research and Atlas Computing. The fellowship focuses on the intersection of formal methods, AI systems, and security, addressing the growing bottleneck of specification and validation as code generation becomes cheaper and more scalable. Participants work in small mentor-led teams on challenging, underspecified problems in specification, validation, and adversarial robustness. The deadline to apply is Sunday, May 31, 2026.

The program is guided by field leaders such as Erik Maijer and Shririam Krishnamurthi, and aims to produce publishable, impactful work within a short time frame. No specific background is required, but useful skills include proof engineering, red teaming, SMT, model checking, critical systems design, and ML benchmarks/evals. The fellowship is unpaid by default, but stipends are available to enable participation. Applicants must commit at least 8 hours per week. Those not accepted remain in the Apart network for future opportunities.