Apart Research, Secure Program Synthesis 펠로우십 출시
apart research와 atlas computing이 형식 방법론, 보안, ai 프로그램 합성에 초점을 맞춘 파트타임 펠로우십 지원을 받기 시작했습니다.
APART 리서치와 Atlas Computing은 형식적 방법과 AI 보안의 교차점을 겨냥한 Secure Program Synthesis Fellowship을 발표했습니다. 이 프로그램은 AI 시스템이 지정되고 검증되는 방식에 관한 미지정 문제에 대한 연구를 우선시하며, 잘못된 명세서에서 파생된 위험이 다운스트림 구현으로 전파되는 것을 해결합니다. 참가자는 Erik Maijer 및 Shriram Krishnamurthi와 같은 멘토の下에서 증명 엔지니어링, 레드 팀화, SMT 해결과 같은 주제에 대해 소규모 팀으로 작업하게 됩니다. 지원자는 특정 배경이 필요 없지만, 검증된 소프트웨어 또는 중요 시스템 설계에 대한 기술이 있으면 선호됩니다. 지원 마감일은 5월 31일입니다.