직무 소개
형식 수학의 최전선을 넓히며 보수를 받으세요 — AI가 검증할 수 있는 것의 한계에 도전하는 Lean 증명을 작성하세요. 완전 원격, 고도로 전문화된 업무....
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
alignerr · 과학·기술·공학·수학
수학 형식화 전문가 (Lean / 형식 증명 시스템)
Alignerr
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기