직무 소개
Lean 4에서 고급 수학을 형식화하고 시간당 최대 $200를 받으세요 — 형식 검증의 최전선에서 일하며 AI 추론의 미래를 만들어 가세요....
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
연구원 - Lean 4 및 형식 증명 시스템
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기
- 지원자 국가
- 거주 지역 요건 미기재
출처는 지원자가 거주하거나 일할 수 있는 국가를 명시하지 않습니다. 원래 공고를 확인하세요. 원격 근무와 명시된 근무 지역만으로 지원 자격이 확인되지는 않습니다.
- 근무 방식
- 원격 근무
- 공고에 명시된 근무 지역
- Dallas
- 최초 게시일
- 미제공
- 마지막 확인
- 2026-11-03 12:00 UTC