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

Apart Research and Atlas Computing's Secure Program Synthesis Fellowship (June-September 2026) is a remote research programme tackling AI security and formal methods for safer AI-generated code.