Remote Mentor-Led Opportunity: Apply Now for the Apart Research Secure Program Synthesis Fellowship 2026 on AI Safety and Formal Verification

May 28, 2026

Global Opportunities AI Alignment Research 2026 AI Safety Fellowship Remote Apart Research Fellowship 2026 Formal Verification Research Fellowship International AI Research Opportunities Machine Learning Safety Fellowship Mentor Led AI Research Opportunity Programming Verification Research Remote AI Safety Programs Secure Program Synthesis Program

Ad slot (job-top, awaiting AdSense approval)

Apart Research, in collaboration with Atlas Computing, has announced the Secure Program Synthesis Fellowship, a remote, mentor-led research programme scheduled to run from June to September 2026. The fellowship focuses on advancing research at the intersection of artificial intelligence systems, formal methods, and software security, with the aim of improving the reliability and correctness of AI-generated code.

Links in this posting

CLICK HERE TO LEARN MORE

Ad slot (job-bottom, awaiting AdSense approval)