직무 소개
폴란드의 세계적 수준의 수학 전통이 AI의 최전선에 어울립니다 — Lean 4에서 고급 증명을 형식화하세요, 완전 원격이며 본인의 일정에 맞춰...
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기
폴란드의 세계적 수준의 수학 전통이 AI의 최전선에 어울립니다 — Lean 4에서 고급 증명을 형식화하세요, 완전 원격이며 본인의 일정에 맞춰...
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
출처는 지원자가 거주하거나 일할 수 있는 국가를 명시하지 않습니다. 원래 공고를 확인하세요. 원격 근무와 명시된 근무 지역만으로 지원 자격이 확인되지는 않습니다.