International Association for Cryptologic Research

International Association
for Cryptologic Research

All job postings
Research Intern - Cryptography
Microsoft Research, Redmond

Overview Research Internships at Microsoft provide a dynamic environment for research careers with a network of world-class research labs led by globally-recognized scientists and engineers, who pursue innovation in a range of scientific and technical disciplines to help solve complex challenges in diverse fields, including computing, healthcare, economics, and the environment. The researchers and engineers in the Cryptography team pursue challenging research that has an impact at Microsoft and the world at large. Most recently we have focused on cryptographic identity, formally verified cryptography, encrypted communications, verifiable elections, zero-knowledge proofs, and high-performance hardware and software implementations of cryptography. We are spinning up new work related to Artificial Intelligence (AI) and the changes and challenges it brings related to cryptography.

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.

We are especially interested in applicants with expertise in one or more of the following:

  • Efficient software and hardware cryptographic systems.
  • Fully homomorphic encryption (FHE).
  • Efficient zero-knowledge proofs.
  • Encrypted and authenticated data structures.
  • End-to-end encrypted communications.
  • Formalization and formal verification of cryptography.
  • Verifiable election technologies.
See the full job posting at the provided URL
Contact: Greg Zaverucha (apply at the Microsoft careers website)
Last updated: 2025-12-11 posted on 2025-12-09