alignerr · 과학·기술·공학·수학

응용 형식 기법 연구원 (Lean 4)

Alignerr

$170–$200/시간근무 지역: Chicago원격 근무거주 지역 요건 미기재

이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기

직무 소개

수학 전문성을 AI의 최전선에서 발휘하세요. Lean 4에서 고급 증명을 형식화하고, 기계화된 수학의 미래를 만들어 가세요 — 완전...

플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.