CALL FOR APPLICATIONS 2026: Secure Program Synthesis Fellowship on AI Security and Formal Methods

Apart Research has announced the launch of the Secure Program Synthesis Fellowship, a new remote research programme exploring the intersection of formal methods, AI systems, software correctness, and cybersecurity. The initiative, developed in partnership with Atlas Computing, will run from June to September 2026 and aims to support collaborative research projects tackling some of the most pressing challenges in AI-generated code and secure software development.