Ph.D. student

Eindhoven University of Technology

We are looking for a PhD student, focusing on provable security. You will be part of a multidisciplinary team developing practical cryptographic standards for the post-quantum era, with implementation security in mind from the outset. Your research will combine cryptographic design with formal security analysis, helping to bridge the gap between theoretical security and secure real-world implementations.

You will be supervised by K. Hövelmanns, co-supervised by A. Hülsing.

What you can expect from us:

• The opportunity to work at the intersection of post-quantum, provable security, and implementation security.
• Weekly supervision meetings to help you stay on track.
• Guidance on writing, presentation, and career development.
• Flexible working hours.
• A shared interest in producing high-quality research results.

What we expect from you:

• An interest in cryptographic design and formal security analysis.
• A master's degree in computer science, mathematics, or related subjects.
• A solid background in cryptography, algorithms, discrete mathematics, or a related area.
• Strong analytical and problem-solving skills demonstrated in previous projects. Motivation to lead the projects.
• Research experience in the related areas is a plus but not required.

What you will like about Eindhoven:

• Being part of an internationally recognized research environment with strong expertise in cryptography and cybersecurity.
• The energy of an international technology hub (“Brainport”), combined with the convenience of a compact, easy-to-cycle-around city.
• A large international community—fortunately also reflected in the city’s food scene.
• Living in one of the Netherlands’ leading design hubs, home to Dutch Design Week and a lively creative scene.