Apart Research and Atlas Computing are launching a fellowship focused on secure program synthesis, aiming to apply formal methods to AI-generated code. The program seeks mentors for projects in specification elicitation, validation, spec-driven development, and adversarial robustness. Applications for mentors are open until May 5th, 2026, with a related hackathon scheduled for May 22-24. AI
IMPACT Accelerates research into formal verification and security for AI-generated code, potentially improving reliability.
RANK_REASON This is a fellowship announcement for a research program focused on AI security and formal methods.
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
