Microsoft is looking to solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment through research in formal methods, high-performance computing, ML systems, programming languages, and software engineering.
Requirements
- Expertise in formal methods, including experience improving theorem provers and proof tools
- Expertise in high-performance computing and ML systems, including experience in performance engineering high-performance GPU kernels, AI workloads, and memory management
- Expertise in programming languages, including experience in type systems, static and dynamic analysis tools, programming models, and runtimes
- Expertise in AI and software engineering, including experience building robust and secure agentic workflows and ML models for software engineering tasks
Responsibilities
- Research Interns put inquiry and theory into practice
- Collaborate with other Research Interns and researchers
- Present findings
- Contribute to the vibrant life of the community
- Work on a variety of research projects ranging from exploratory curiosity-driven projects to advanced projects with direct industrial and/or societal impact
- 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
- Contribute to exciting research and development strides
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
- Submit a minimum of two reference letters for this position as well as a cover letter and any relevant work or research samples
- Must be available for a 12-week internship
- Must be able to network and connect with other researchers and interns
