직무 소개
독일의 수학 인재들이 AI의 미래를 만들고 있습니다 — 본인의 일정에 맞춰 Lean 4에서 증명을 형식화하세요, 완전 원격이며 보람이 큽니다....
플랫폼은 간단한 요약을 제공합니다. 전체 요건은 원래 공고에서 확인하세요.
수학자 – 형식 체계 및 AI 기초 (원격 계약)
이 공고는 자동 번역되었습니다. 지원서는 원래 플랫폼에서 처리하므로 지원 전에 원래 요건을 확인하세요. 원래 페이지 보기
- 지원자 국가
- 거주 지역 요건 미기재
출처는 지원자가 거주하거나 일할 수 있는 국가를 명시하지 않습니다. 원래 공고를 확인하세요. 원격 근무와 명시된 근무 지역만으로 지원 자격이 확인되지는 않습니다.
- 근무 방식
- 원격 근무
- 공고에 명시된 근무 지역
- Berlin, Germany
- 최초 게시일
- 미제공
- 마지막 확인
- 2026-11-03 15:00 UTC