Microsoft is seeking Research Interns to contribute to cutting-edge research in formal methods, high-performance computing, ML systems, programming languages, and software engineering, aiming to solve complex challenges in computing, healthcare, economics, and the environment.
Requirements
- Expertise in formal methods, including experience improving theorem provers and proof tools, or
- Expertise in high-performance computing and ML systems, including experience in performance engineering high-performance GPU kernels, AI workloads, and memory management, or
- Expertise in programming languages, including experience in type systems, static and dynamic analysis tools, programming models, and runtimes, or
- Expertise in AI and software engineering, including experience building robust and secure agentic workflows and ML models for software engineering tasks.
Responsibilities
- Work on a variety of research projects ranging from exploratory curiosity-driven projects to advanced projects with direct industrial and/or societal impact.
- Collaborate with mentors and other Research Interns on research projects.
- Present findings from research projects.
- Contribute to the vibrant life of the research community.
Other
- Accepted or currently enrolled in a PhD program or an equivalent research-oriented program in Computer Science or related STEM field.
- Research Interns are expected to be physically located in their manager’s Microsoft worksite location for the duration of their internship.
- 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.
- 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.
- Microsoft is an equal opportunity employer.
