Applications close May 31 for a research fellowship powered by Apart Research and Atlas Computing. Small teams will tackle formal methods, validation, and adversarial robustness in AI systems. The program targets the bottleneck of specification as code generation scales. Practitioners can apply part-time to develop more secure, verifiable AI-generated software.