Microsoft Research seeks Research Interns to extend the state-of-the-art in formal methods, high-performance computing, ML systems, programming languages, and software engineering, contributing to research projects with potential industrial and societal impact.
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 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.
- Advance their own careers, and contribute to exciting research and development strides.
- Collaborate with other Research Interns and researchers.
- Present findings.
- Contribute to the vibrant life of the 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.
- submit a minimum of two reference letters for this position as well as a cover letter and any relevant work or research samples.
- Microsoft is an equal opportunity employer.
- All qualified applicants will receive consideration for employment without regard to age, ancestry, citizenship, color, family or medical care leave, gender identity or expression, genetic information, immigration status, marital status, medical condition, national origin, physical or mental disability, political affiliation, protected veteran or military status, race, ethnicity, religion, sex (including pregnancy), sexual orientation, or any other characteristic protected by applicable local laws, regulations and ordinances.
