microsoftus

Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)

연구·R&DAI·머신러닝개발

AI 요약

Microsoft Research의 RiSE 그룹에서 형식 방법론, HPC, ML 시스템, 프로그래밍 언어 및 소프트웨어 공학 분야의 연구 인턴을 모집합니다. 박사 과정 학생을 대상으로 하며, 12주 동안 세계적인 연구자들과 협업하여 최첨단 기술을 연구하고 실제 산업 및 사회적 문제를 해결하는 기회를 제공합니다.

주요 업무

RiSE 그룹 내 연구 프로젝트 수행, 멘토 및 동료 연구원과의 협업, 연구 결과 발표 및 커뮤니티 기여, 이론적 연구의 실제 적용 및 개발.

자격 요건

컴퓨터 과학 또는 관련 STEM 분야의 박사 과정(PhD) 재학 중인 자. (우대사항) 형식 방법론(정리 증명기 등), 고성능 컴퓨팅 및 ML 시스템(GPU 커널, AI 워크로드, 메모리 관리), 프로그래밍 언어(타입 시스템, 정적/동적 분석, 런타임), AI 및 소프트웨어 공학(에이전트 워크플로우, ML 모델 구축) 분야의 전문성.

기술 스택

ML SystemsGPUFormal MethodsProgramming LanguagesType SystemsStatic AnalysisDynamic AnalysisAgentic WorkflowsML ModelsTheorem Provers

AI 점수 95core

지원하기

Research Intern – RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)

AI 요약

주요 업무

자격 요건

기술 스택

microsoftus의 다른 공고

알림