직무 소개
수학적 전문성을 AI의 최전선에서 발휘하세요. Lean 4에서 고급 증명을 형식화하세요 — 완전 원격, 깊은 의미, 예외적으로 pa...
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
형식 검증 과학자 (Lean 4 & Mathlib)
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기
- 지원자 국가
- 거주 지역 요건 미기재
출처는 지원자가 거주하거나 일할 수 있는 국가를 명시하지 않습니다. 원래 공고를 확인하세요. 원격 근무와 명시된 근무 지역만으로 지원 자격이 확인되지는 않습니다.
- 근무 방식
- 원격 근무
- 공고에 명시된 근무 지역
- Sheffield
- 최초 게시일
- 미제공
- 마지막 확인
- 2026-11-04 23:00 UTC