직무 소개
최첨단 AI 연구를 위해 Lean 4에서 고급 수학 증명을 형식화하고 시간당 최대 $200를 받으세요. 원격, 유연한 근무, 진지한 수학자를 위해 설계된...
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
alignerr · 소프트웨어 공학
Lean 4 증명 엔지니어 - 수학 형식화
Alignerr
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기