직무 소개
형식 증명에 대한 숙련도를 AI의 최전선에서 발휘하세요. Lean 4에서 고급 수학을 형식화하세요 — 원격, 유연한 근무, 탁월하게 높은 보수...
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
alignerr · 과학·기술·공학·수학
형식 검증 과학자 (Lean 4 및 Mathlib)
Alignerr
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기