직무 소개
Turing 소개:
Turing은 강력한 AI 시스템의 발전과 배포를 가속하는, 세계에서 가장 빠르게 성장하는 AI 기업 중 하나입니다.
Turing은 두 가지 방식으로 고객을 지원합니다. 하나는 세계 선도적인 AI 연구소와 협력하여 사고, 추론, 코딩, 에이전트 행동, 멀티모달리티, 다국어, STEM, 최첨단 지식 분야의 최첨단 모델 역량을 발전시키는 것이고, 다른 하나는 그 성과를 활용하여 기업의 핵심 과제를 해결하는 실제 AI 시스템을 구축하는 것입니다.
직무 개요
Terminal Bench Science를 위해 현실적인 터미널 기반 과학·기술 과업을 개발하는 5–10명의 트레이너로 구성된 Pod를 이끌어 줄, 경력 있는 수학 전문가를 찾고 있습니다.
트레이너가 만든 과업을 수학적 정확성, 재현성, 난이도, 채점기 신뢰성 측면에서 검토하게 됩니다. 또한 트레이너를 멘토링하고, 품질과 처리량을 관리하며, 과업이 실제 수학 연구와 계산 워크플로를 반영하도록 합니다.
이 직무는 수치 및 응용수학, 과학 계산, 최적화, 통계, 수학적 모델링, 계산 대수학, 형식 검증을 다룹니다.
담당 업무
- 문제 정의서, 데이터셋, 환경, 참조 솔루션, 자동화 테스트를 포함하여 과업을 처음부터 끝까지 검토합니다.
- 수학적 정확성, 적정성(well-posedness), 수렴성, 안정성, 조건수(conditioning), 이산화 오차, 엣지 케이스 처리를 검증합니다.
- 과업이 단순 조회나 단일 라이브러리 호출이 아니라 진정한 다단계 추론을 요구하도록 합니다.
- 정확 계산, 기호 계산, 임의 정밀도 계산 또는 부동소수점 계산이 적절하게 사용되었는지 검증합니다.
- 허용 오차가 문제의 수치적 조건에 적합한지 확인합니다.
- 잔차, 실현 가능성, 최적성 증명서, 불변량, 오차 한계 또는 증명 검증과 같은 수학적 성질에 기반한 채점기를 설계하고 검토합니다.
- 도구, 라이브러리, 솔버 버전, 의존성을 고정하여 과업이 재현 가능하도록 합니다.
- 하드코딩된 정답, 테스트 파일 유출, 의도된 계산을 우회하는 기타 방법을 식별하고 방지합니다.
- 정확하고 실행 가능한 피드백을 제공하고 트레이너의 수정 사항이 종결될 때까지 추적합니다.
- 수학적 엄밀성, 과업 설계, 코딩 관행, 평가 기준에 대해 트레이너를 멘토링하고 온보딩합니다.
- 업무를 배분하고, 품질과 처리량을 모니터링하며, 장애 요소를 상위에 보고합니다.
- 가이드라인, 반복되는 문제, 모범 과업을 다루는 Pod 문서를 관리합니다.
- 수학 팀 리드 및 기타 기술 이해관계자와 협업하여 벤치마크 품질을 개선합니다.
찾고 있는 인재
- 수학, 응용수학, 통계학 또는 관련 분야의 박사 학위, 박사후 연구 경험 또는 이에 상응하는 고급 경력.
- Python, Julia, C/C++, MATLAB/Octave 또는 컴퓨터 대수 시스템에 대한 뛰어난 프로그래밍 능력.
- Linux 및 터미널에 대한 뛰어난 숙련도.
- 수치 해석 기법, 과학 계산, 기호 계산, 최적화, 계산 통계 또는 수학적 모델링 실무 경험.
- 수학적 유도, 알고리즘, 증명, 계산 결과를 엄밀하게 평가할 수 있는 능력.
- 연구 결과물, 코드, 수학적 작업 또는 과학 워크플로를 검토한 경험.
- 소규모 기술 또는 연구 팀을 멘토링하거나 이끈 경험.
- 뛰어난 글쓰기 소통 능력과 정확하고 건설적인 피드백을 제공하는 능력.
- 계산 과업의 재현성, 테스트 신뢰성, 과학적 타당성을 평가할 수 있는 능력.
우대 사항
- NumPy, SciPy, SymPy, mpmath, SageMath, PARI/GP, GAP, Macaulay2 또는 Mathematica와 유사한 워크플로 사용 경험.
- FEniCS, Firedrake, DifferentialEquations.jl, PETSc 또는 유사한 ODE/PDE 도구 사용 경험.
- CVXPY, JuMP, Pyomo, HiGHS 또는 기타 최적화 프레임워크 사용 경험.
- Lean/mathlib, Coq/Rocq, Isabelle 또는 기타 증명 보조 도구에 대한 이해.
- Docker, Git, CI 시스템, 자동화 테스트 사용 경험.
- 벤치마크, 경시대회 문제 또는 계산 기반 평가를 설계한 경험.
- AI 코딩, 추론 또는 터미널 에이전트를 평가한 경험.
- 수학 올림피아드 또는 경시대회 문제를 출제하거나 채점한 경험.
- 계산 수학, 수치 소프트웨어 또는 형식화된 수학 분야의 논문 발표 또는 오픈 소스 기여.
- AI 학습, 데이터 생성 또는 모델 평가 프로그램 경험.
제안 조건:
- 필수 투입 조건: 하루 최소 4시간, 주당 최소 40시간 근무하며 PST와 4시간 겹침.
- 고용 형태: 계약자 배정(의료 혜택 및 유급 휴가 없음)
- 계약 기간: 4주 [예상 시작일은 다음 주]