Research Intern - Security, Privacy and AI

Microsoft Microsoft · Big Tech · Redmond, WA +1 · Applied Sciences

Research intern to conduct threat modeling for LLM-enabled agentic designs, develop formal security frameworks, and produce security proofs and empirical validations. Deliverable within 12 weeks.

What you'd actually do

  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
  3. producing security proofs and empirical validations congruent with the project scope

Skills

Required

  • PhD program in computer science, electrical engineering, mathematics or a closely related field

Nice to have

  • identity management and privacy
  • privacy‑preserving authentication and authorization
  • scalable zero-knowledge proofs
  • applied cryptography
  • identity/authorization
  • privacy technologies
  • formal methods
  • security modeling
  • Familiarity with Artificial Intelligence (AI)
  • Ability to communicate research clearly and collaborate in a diverse team

What the JD emphasized

  • PhD program in computer science, electrical engineering, mathematics or a closely related field
  • privacy‑preserving authentication and authorization
  • scalable zero‑knowledge proofs

Other signals

  • LLM-enabled agentic designs
  • formal security frameworks
  • security proofs and empirical validations