Safety
96d agoSecure Program Synthesis Fellowship Opens Applications
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.
The Signal
Practitioners can apply part-time to develop more secure, verifiable AI-generated software.