직무 소개
직무명: 연구 과학자 - 컴퓨터 과학 및 계산물리학
계약 형태: 계약직(Contractor) (유연함, 파트타임 또는 풀타임)
근무지: 원격
micro1은(는) 고객사의 영향력이 큰 연구 프로젝트를 발전시키는 데 도움을 줄 컴퓨터 과학 및 계산물리학 분야의 연구 과학자를 모집하고 있습니다. 이 역할에서는 전문성을 활용하여 차세대 AI 시스템을 학습시키는 데 기여하게 됩니다. 고품질의 실제 업무 기반 입력을 통해 모델이 학습하고, 추론하고, 수행하는 방식을 만들어 가게 됩니다. AI 관련 사전 경험은 필요하지 않으며, 중요한 것은 지원자의 분야 전문 지식입니다.
업무 범위
- 엄밀한 탐구를 위해 본인의 세부 분야에서 미해결 문제, 새로운 한계(bound) 또는 다룰 수 있는 연구 과제를 파악하고 제안합니다.
- 최첨단(frontier) AI 모델과 에이전트를 활용한 체계적인 연구를 수행하여 증명을 시도하거나, 알고리즘을 개발하거나, 계산 시뮬레이션을 실행합니다.
- 증명을 검토하거나, 수치 결과를 재현하거나, 형식 도구를 활용하여 연구 결과물을 체계적으로 검증합니다.
- 최근 문헌 및 발표된 결과와 직접 비교하여 연구 결과의 새로움과 정확성을 평가합니다.
- 방법론, 부분 결과, 직면한 과제를 명확하고 충실한 서면 보고서로 문서화합니다.
- 선임 연구 전문가가 더 깊이 탐구할 수 있도록 유망한 새로운 방향과 발견을 부각합니다.
우대 자격 요건
- 연구 분야의 고급 지위: 컴퓨터 과학 또는 수리/계산물리학 분야의 박사 과정 후반부 연구자, 박사후 연구원 또는 경력 초기의 학자(박사 학위 취득 후 0–5년).
- STOC, FOCS, SODA, PLDI, SC 등 주요 학회에서의 최우수 논문상 또는 학위 논문상 등 동료 학계로부터 인정받은 연구 우수성.
- 최근 3년 이내의 탄탄한 논문 게재 실적: 여러 편의 최상위 학회 논문과 알려진 미해결 문제를 다루거나 새로운 개념을 도입한 최근 결과 포함.
- 시뮬레이션, 수치 해석, 알고리즘 구현을 아우르는 계산 방법론에 대한 실무 전문성.
- 본인 전문 분야의 주요 학회에서 심사 또는 부심사를 맡은 경험은 우대합니다.
- 학술 연구에서 최첨단 모델, 에이전트 또는 Lean, SAT/SMT 솔버 같은 형식적 계산 도구를 활용한 배경.
- 현재 조사 중인 구체적인 미해결 문제를 개괄한 공개된 연구 계획서 또는 홈페이지.