Research Intern - RiSE group at Microsoft

Redmond, Washington, United States -

Full Time

Start Date

Immediate

Expiry Date

18 Feb, 26

Salary

0.0

Posted On

20 Nov, 25

Experience

0 year(s) or above

Remote Job

Yes

Telecommute

Yes

Sponsor Visa

Skills

Formal Methods, Theorem Provers, Proof Tools, High-Performance Computing, ML Systems, Performance Engineering, GPU Kernels, AI Workloads, Memory Management, Programming Languages, Type Systems, Static Analysis Tools, Dynamic Analysis Tools, Programming Models, Runtimes, AI, Software Engineering

Industry

Software Development

Description

Research Interns put inquiry and theory into practice. Alongside fellow doctoral candidates and some of the world's best researchers, Research Interns learn, collaborate, and network for life. Research Interns not only advance their own careers, but they also contribute to exciting research and development strides. 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. Research internships are available in all areas of research, and are offered year-round, though they typically begin in the summer. Accepted or currently enrolled in a PhD program or an equivalent research-oriented program in Computer Science or related STEM field. 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. 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 Graphics Processing Unit (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

Research Interns collaborate with fellow doctoral candidates and researchers to advance their careers and contribute to research and development. They are expected to present findings and engage with the community during the internship.