microsoftus

Research Intern – Agentic Programming

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

AI 요약

마이크로소프트 리서치(MSR)에서 진행하는 연구 인턴십 공고입니다. 컴퓨터 과학 및 관련 STEM 분야의 박사 과정생을 대상으로 하며, 12주 동안 세계적인 연구자들과 협업하여 컴퓨팅, 헬스케어, 경제 등 다양한 분야의 복잡한 문제를 해결하는 연구를 수행합니다. AI, 프로그래밍 언어, 정형 기법 등 전문 지식을 활용해 실제적인 연구 성과를 도출하는 기회를 제공합니다.

주요 업무

연구 이론의 실무 적용 및 R&D 기여, 멘토 및 동료 연구원과의 협업 및 네트워킹, 연구 결과 발표 및 커뮤니티 활동 참여

자격 요건

컴퓨터 과학 또는 관련 STEM 분야의 박사 과정(PhD) 재학 또는 입학 예정자(필수), 최소 2통의 추천서, 커버레터, 관련 작업물 또는 연구 샘플 제출(필수), 정형 기법(Theorem provers, Proof tools) 전문성(우대), 프로그래밍 언어(Type systems, Static/Dynamic analysis, Runtimes) 전문성(우대), AI 및 소프트웨어 공학(Agentic workflows, ML models) 전문성(우대)

기술 스택

ML modelsAgentic workflowsTheorem proversProof toolsType systemsStatic analysisDynamic analysisProgramming modelsRuntimes

AI 점수 95core

지원하기

Research Intern – Agentic Programming

AI 요약

주요 업무

자격 요건

기술 스택

microsoftus의 다른 공고

알림