직무 소개
Turing 소개: 캘리포니아주 샌프란시스코에 본사를 둔 Turing은 최첨단 AI 연구소를 위한 세계 선도적인 연구 액셀러레이터이자, 첨단 AI 시스템을 도입하는 글로벌 기업의 신뢰받는 파트너입니다. Turing은 두 가지 방식으로 고객을 지원합니다. 첫째, 고품질 데이터, 고도화된 학습 파이프라인, 그리고 코딩, 추론, STEM, 다국어, 멀티모달리티, 에이전트를 전문으로 하는 최고 수준의 AI 연구자를 통해 최첨단 연구를 가속합니다. 둘째, 그 전문성을 활용해 기업이 AI를 개념 검증 단계에서 독자적인 인텔리전스로 전환하도록 돕습니다. 이를 통해 안정적으로 작동하고, 측정 가능한 대규모 언어 모델을 개선하고 평가하는 프로젝트에서 고급 수학적 추론, 문제 해결, 계산적 사고, 명확한 서면 의사소통을 적용하는 영향을 만들어 내며, 손익(P&L)에서 지속적인 성과를 이끌어 내는 시스템을 구현합니다.
직무 개요.
- 이 직무에서는 고급 수학적 추론, 문제 해결, 계산적 사고, 명확한 서면 의사소통을 적용하여 대규모 언어 모델을 개선하고 평가하는 프로젝트를 수행합니다.
- 이상적인 지원자는 특히 공학 입시 수준과 대학원 또는 박사 과정 수준의 수학에 대한 탄탄한 기초를 갖추고 있어야 합니다.
- 복잡한 수학 개념을 간단하고 명확하게 설명하고 효율적으로 일할 수 있어야 합니다.
- 또한 이 직무에는 정밀한 폐쇄형 프롬프트를 설계하고, 신뢰할 수 있는 Python 코드를 작성하며, 수치 답안을 검증하고, 명확한 근거를 제시하는 계산 프로젝트도 포함됩니다.
- 이 프로젝트를 통해 AI를 활용해 더 뛰어난 분석가가 되는 방법도 배울 수 있습니다. AI 우선 시대에 대비해 커리어를 미래 지향적으로 만들 기회입니다!
일상 업무는 다음과 같습니다:
- 특히 다단계, 추상적, 증명 기반 상황에서 대규모 언어 모델의 추론 한계를 시험하는 독창적이고 도전적인 수학 문제를 설계합니다.
- 문제를 독립적으로 풀고, 명확한 근거를 갖춘 상세하고 논리적으로 구조화된 풀이를 작성합니다.
- 모델이 생성한 풀이를 검토하고, 수학적 오류나 누락된 논거를 찾아내며, 정확한 피드백, 주석, 수정 사항을 제공합니다..
- 학부 초기 과정부터 박사 수준 주제에 이르는 수학 교육과정을 바탕으로 새로운 평가 벤치마크를 정의하는 데 기여합니다.
- 승인된 과학 라이브러리를 사용하여 계산 과업을 위한 Python 기반 솔루션을 개발하고 검증합니다.
- Lean을 사용한 정리 증명기(theorem-prover) 과업을 수행하며, 수학 문제와 증명을 형식 언어로 옮기고 형식 증명이 올바르게 컴파일되는지 검증하는 일을 포함합니다.
요구 사항:
- 분석 능력: 뛰어난 조사 및 분석 능력
- 피드백 능력: 건설적인 피드백과 상세한 어노테이션을 제공할 수 있는 능력.
- 창의적 사고: 창의적이고 수평적인 사고 능력.
- 의사소통: 원격 환경에서의 뛰어난 체계적 의사소통 및 협업 능력.
- 자율성: 스스로 동기를 부여하며 원격 환경에서 독립적으로 일할 수 있어야 합니다.
- 기술 환경: 안정적인 인터넷 연결이 갖춰진 데스크톱/노트북.
우대 사항:
- 수학, 응용수학, 통계학 또는 관련 분야에서 석사/박사/박사후 과정을 밟고 있는 지원자도 지원 가능하며 적극 권장합니다.
- 체계적이고 논리적인 접근으로 복잡한 수학 문제를 분석하고 해결하는 능력.
- 쉬운 언어, 시각 자료, 예시를 활용하여 수학 개념을 명확하게 설명하는 능력.
Turing에서 프리랜서로 일할 때의 혜택:
- 전면 원격 환경에서 근무합니다.
- 선도적인 LLM 기업과 함께 최첨단 AI 프로젝트에 참여할 기회.
- 성과와 프로젝트 필요에 따라 계약 연장 가능성이 있습니다.
제안 조건:
- 필수 투입 조건: 하루 최소 4시간, 주당 최소 20시간 근무하며 PST와 4시간 겹침. (투입 시간은 3가지 옵션이 있습니다: 주당 20시간, 주당 30시간 또는 주당 40시간)
- 계약 형태: 계약자 배정/프리랜서(의료 혜택 및 유급 휴가 없음)