About the job
This Research Internship will include (1) conducting threat modeling for Large Language Model (LLM)‑enabled agentic designs and identifying practical mitigations for Windows OS; (2) developing or refining formal security frameworks that support scalable designs and sound reasoning about system behavior; and (3) producing security proofs and empirical validations congruent with the project scope. The Research Intern should complete some concrete, well‑scoped deliverable within a 12‑week internship (e.g., prototype, proof framework, and/or technical report).
Responsibilities
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.
Qualifications
Minimum
Currently enrolled in a PhD program in computer science, electrical engineering, mathematics or a closely related 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. 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.
Preferred
Candidates with a background in identity management and privacy such as privacy‑preserving authentication and authorization (for applications in agentic designs), scalable zero‑knowledge proofs, and related cryptographic primitives are especially well‑suited for this project. Demonstrated experience in applied cryptography, identity/authorization, privacy technologies, formal methods, security modeling, or adjacent areas. Familiarity with Artificial Intelligence (AI). Ability to communicate research clearly and collaborate in a diverse team.