Location
Redmond
Posted
June 15, 2026
Commute
Local Area
Local Opportunity Near You!
This job is in your area. Enjoy a short commute and work close to home.
Job Description
**Overview**
Research Intern - RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers, who pursue innovation in a range of scientific and technical disciplines to help solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment.
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research Interns will work in a collaborative environment with mentors and other Research Interns on a variety of research projects ranging from exploratory curiosity-driven projects to advanced projects...
Research Intern - RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers, who pursue innovation in a range of scientific and technical disciplines to help solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment.
The RiSE group seeks Research Interns with a demonstrated desire to extend the state-of-the-art of research in the broad fields of formal methods, high-performance computing, Macine Learning (ML) systems, programming languages, and software engineering. Research Interns will work in a collaborative environment with mentors and other Research Interns on a variety of research projects ranging from exploratory curiosity-driven projects to advanced projects...