Research Intern - RiSE group (Formal Methods, High-Performance Computing, ML Systems, Programming Languages, Software Engineering)
Job Description
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, 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 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
Locations
- Redmond, Washington, United States, Redmond, Washington, United States
Salary
Salary not disclosed
Required Qualifications
- Accepted or currently enrolled in a PhD program or an equivalent research-oriented program in Computer Science or related STEM field. (degree)
- Research Interns are expected to be physically located in their manager’s Microsoft worksite location for the duration of their internship. (degree)
- In addition to the qualifications below, you’ll need to submit a minimum of two reference letters for this position as well as a cover letter and any relevant work or research samples. 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. (degree)
- Expertise in formal methods, including experience improving theorem provers and proof tools, or (degree)
- Expertise in high-performance computing and ML systems, including experience in performance engineering high-performance GPU kernels, AI workloads, and memory management, or (degree)
- Expertise in programming languages, including experience in type systems, static and dynamic analysis tools, programming models, and runtimes, or (degree)
- Expertise in AI and software engineering, including experience building robust and secure agentic workflows and ML models for software engineering tasks (degree)
Travel Requirements
3 days / week in-office
