[ The Types Forum (announcements only),
The IT University of Copenhagen seeks to hire outstanding researchers
at its Interdisciplinary Centre for Democracy and Technology
The research will be conducted under the supervision of Carsten
Schuermann. DemTech specializes on mathematical foundations of secure
multi-party computation, the design and analysis of cryptographic
primitives and protocols, formal languages for voting systems and
their properties, and automated tools to reason about them. DemTech
has expertise in both the symbolic and the computational styles of
protocol analysis. DemTech has established itself as a leading center
for research on trust and security in election technologies.
Your role is to work on the logical foundations of secure multi-party
distributed systems, the modelling of voting protocols, the automated
extraction of software from high-level description, and the automatic
verification of security properties, both in the symbolic and the
A successful applicant will hold a PhD in Computer Science or Applied
Mathematics,a proven interest in reasoning systems, cryptography, or
security modelling. Experience in cryptography will be considered an
The appointment will will initially one year that can be extended.
You will work in an exciting international setting and participate in
a fast growing and dynamic research environment.
For inquiries please contact, Pia Kystol Sørensen (pksr@itudk) or
Carsten Schürmann (cars...@itu.dk)
The position is available now.