We are offering two postdoc positions in the area of cryptography in the Cryptography and Data Security Group at the Department of Mathematics, Informatics and Mechanics at University of Warsaw. The position is supported by a grant "Cryptographic Defence Against Malicious Hardware Manufacturers".
The goal of this project is to design methods for preventing attacks by malicious hardware manufacturers. Such attacks are possible because manufacturing of integrated circuits is frequently outsourced to external companies. Due to the complexity of these devices it is practically impossible to inspect them in order to check that they were manufactured correctly. Hence, a malicious manufacturer can alter the device's design, by introducing the so-called "hardware Trojan horses". Such devices can later cause significant damage to their users by malfunctioning, or leaking users' secrets to the adversary. This is very worrying, especially given a tremendous dependence of modern society on the electronic devices. Another threat associated with the third-party manufacturing is the intellectual property theft and piracy, as the manufacturer gets full access to the device's specification. In this project we address these problems by applying state-of-the-art cryptographic techniques.
A preliminary result in this area has been recently published in the following paper:
S. Dziembowski, S. Faust and F.-X, StandaertPrivate Circuits III: Hardware Trojan-Resilience via Testing Amplification[link]
All candidates with a PhD degree and a publication record in cryptography or data security are encouraged to apply and will be carefully considered.
We offer excellent networking and training opportunities, including participation in international workshops and conferences.
The salary will depend on qualifications and will be in the range of approximately PLN 7000 - 8,500 (net/month).
Successful candidates can start from January 2017. Funding is available for 3 years.
There is no official deadline for this call. We will start looking at the applications from Dec 15, 2016.
The Institute of Informatics of University of Warsaw is the leading research institute in this field in Poland. Institute of Informatics was formed in 1975, unifying foundational and experimental research on programming languages. Today it employs around 50 faculty members and trains, more than 60 PhD students. The research goals comprise basic work in computer science, especially algorithms, cryptography, logic, and specification theory, as well as various aspect of software engineering and several interdisciplinary topics.
Your application: applications in English should be submitted here.