Research Intern - RiSE group: Formal Methods, High-Performance Computing, Programming Languages, Software Engineering,
 Microsoft | |
 United States, Washington, Redmond | |
 Nov 27, 2024 | |
|
OverviewResearch 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, 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 with direct industrial and/or societal impact. You can find more information about the research, people, publications, and projects of the RiSE group at Research in Software Engineering (RiSE) - Microsoft Research
ResponsibilitiesResearch Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world's best researchers, Research Interns learn, collaborate, and network for life. Research Interns not only advance their own careers, but they also contribute to exciting research and development strides. During the 12-week internship, Research Interns are paired with mentors and expected to collaborate with other Research Interns and researchers, present findings, and contribute to the vibrant life of the community. Research internships are available in all areas of research, and are offered year-round, though they typically begin in the summer. | |