[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The IT University of Copenhagen seeks to hire outstanding researchers at its Interdisciplinary Centre for Democracy and Technology (DemTech). 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 computational model. 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 advantage. 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.