International Association
for Cryptologic Research

KU Leuven - COSIC is looking for a motivated researcher (phd-candidate or postdoc) for a 2-year project on automated protocol optimisation and generation. The selected applicant will work on the construction of new methods and associated tools to automate the design of cryptographic protocols, especially with regard to finding optimal implementations whilst preserving the security properties. This research topic is at the intersection of cryptographic protocol design, provable security, formal methods for protocol verification and optimisation. The candidate is expected to have experience in at least one of these areas. The project will involve some experimental implementations, so programming skills are a plus. Ideally the candidate should be able to start around October 2015.

For the above position the candidates must hold a Master’s Degree in engineering, mathematics or computer science, have good grades and have a keen interest in cryptography. We prefer candidates who can demonstrate that they have developed their research skills during their Master’s studies. For postdocs a PhD degree in the relevant area is required.

Why working at KU Leuven COSIC?

COSIC is a top research group in the crypto and security field

KU Leuven is one of Belgium’s leading research institutions

the campus offers high-class educational and recreational facilities

both the research group and the university provide a dynamic and international environment

the working language is English, the knowledge of Dutch is not required

ample networking opportunities with people working in the security field

Good future job prospects

Leuven is a lively, friendly university city located near Brussels