Research Intern - RiSE Group (Programming Languages, Automated Reasoning, High-Performance Computing, & Software Engineering)

Last updated 25 days ago
Location:Redmond, Washington
Job Type:Full Time

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. Our researchers and engineers 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 Research in Software Engineering (RiSE) Group in Microsoft Research seeks intern candidates in the areas of programming languages, compilers/runtime,automated reasoning, high-performance computing, verification, and software engineering. We are seeking exceptional candidates who are interested in new approaches to improving software quality, performance and reliability at industrial scale. This is an exceptional opportunity to drive state-of-the-art research in the context of a diverse team of researchers to push the foundations of software.

We value your ideas and unique viewpoints in driving our research. We hope that our partnership and collaboration during the internship will shape into exciting, ambitious, and impactful research contributions that only you could have crafted.


Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world’s best researchers, interns learn, collaborate, and network for life. Interns not only advance their own careers, but they also contribute to exciting research and development strides. During the 12-week internship, students are paired with mentors and expected to collaborate with other 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.


In addition to the qualifications below, you’ll need to submit a minimum of two reference letters for this position. After you submit your application, a request for letters may be sent to your list of references on your behalf. Note that reference letters cannot be requested until after you have submitted your application, and furthermore, that they might not be automatically requested for all candidates. You may wish to alert your letter writers in advance, so they will be ready to submit your letter.

Required Qualification:

  • Must be accepted, applying to, or currently enrolled in a PhD program on topics relevant to the RiSE group (programming languages, compiler/runtime, automated reasoning, high-performance computing, verification, and software engineering) or a related area of Computer Science/STEM field.

Preferred Qualifications:

  • Strong understanding of state-of-the-art in software systems and engineering.
  • Demonstrable ability to work in a multi-disciplinary team.
  • Effective communication skills and ability to work in a collaborative environment.

Microsoft is an equal opportunity employer. All qualified applicants will receive consideration for employment without regard to age, ancestry, color, family or medical care leave, gender identity or expression, genetic information, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran status, race, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable laws, regulations and ordinances. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. If you need assistance and/or a reasonable accommodation due to a disability during the application or the recruiting process, please send a request via the Accommodation request form.

Benefits/perks listed below may vary depending on the nature of your employment with Microsoft and the country where you work.