microsoftus

Senior Researcher – Research in Software Engineering – Microsoft Research

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

AI 요약

마이크로소프트 리서치(MSR)에서 AI 기술과 소프트웨어 엔지니어링을 결합하여 차세대 시스템 설계 및 검증을 혁신할 시니어 연구원을 채용합니다. 프로그래밍 언어, 형식 기법, 자동 추론 분야의 전문성을 바탕으로 AI 에이전트 기술을 통합한 대규모 시스템 연구를 수행합니다.

주요 업무

AI 기술을 통합한 엄격한 소프트웨어 엔지니어링 분야의 고영향력 연구 주도, 새로운 아이디어 개발 및 테스트를 위한 협업, 해당 분야의 최첨단 시스템 구축 및 유지관리, 기술 논문 작성 및 프레젠테이션 발표.

자격 요건

관련 분야 박사 학위 소지자 (또는 석사 학위 + 3년 이상의 연구 경력, 또는 학사 학위 + 4년 이상의 연구 경력). 우대 사항으로는 엄격한 방법론(Rigorous methods)과 AI 기술을 통합한 대규모 시스템 구축 경험 3년 이상, 시스템 구축 및 유지관리 참여 경험, 논문 발표를 통한 연구 활동 증명, 다학제적 팀에서의 협업 능력 등이 있습니다.

기술 스택

AIAgent technologiesFormal methodsAutomated reasoningProgramming languagesLarge-scale systems

AI 점수 95core

지원하기

Senior Researcher – Research in Software Engineering – Microsoft Research

AI 요약

주요 업무

자격 요건

기술 스택

microsoftus의 다른 공고

알림