PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich
Multiple PhD and Postdoc positions in Information Security and Program
Verification at ETH Zurich, available immediately
The Institute of Information Security (the groups of Prof. Adrian Perrig
and Prof. David Basin) and the Programming Methodology Group (Prof. Peter
Müller) at ETH Zurich have multiple open positions for PhD students and
Postdocs in a research project in the area of digital trust. The goal of
this project is to develop a comprehensive, formally verified security
architecture for communication in the physical and digital world. In
particular, the project will develop protocols to transfer physical trust
relationships into the digital world and store, manage, and use them. The
design will take into account human (mis-)behavior from the outset. A
particular emphasis is on the formal verification of the architecture both
at the design and implementation level to rule out any undesired behavior.
We are looking for enthusiastic and outstanding Computer Science or
Mathematics students and postdoctoral researchers with a strong background
in some of the following topics:
* formal modeling and verification,
* program verification,
* theorem proving, model checking,
* cryptographic protocols,
* public-key infrastructure, identity management, authentication,
* networking and distributed systems, and
* design and implementation of security architectures.
ETH Zurich regulations require PhD students to hold a Masters or equivalent
degree (e.g., Diplom). All candidates matching the profile above are
encouraged to apply as soon as possible. We will process applications until
all positions are filled. Successful candidates are expected to start soon
after acceptance, but the starting date is negotiable.
Applications should include:
- a curriculum vitae,
- a brief description of research interests,
- transcripts of grades,
- letters of recommendation from teachers or employers, and,
- if possible, the Master's or Bachelor's thesis and publications.
Applications and inquiries should be sent to Christoph Sprenger and Sandra
Schneider at the following email addresses.
PhD students and Postdocs are paid employees of ETH Zurich. Salary and
employment conditions are attractive. Zurich is a diverse and multicultural
city which is consistently rated among the best cities in the world in
which to live.