Apart Research launches Secure Program Synthesis Fellowship

apart research and atlas computing announced the secure program synthesis fellowship, targeting the intersection of formal methods and ai security. the program prioritizes research into underspecified problems regarding how ai systems are specified and validated, addressing risks that propagate from poor specifications into downstream implementations. participants will work in small teams under mentors such as erik maijer and shriram krishnamurthi on topics including proof engineering, redteaming, and smt solving. applicants require no specific background, though skills in verified software or critical system design are preferred. the application deadline is may 31st.