[TYPES/announce] Multiple PhD and Postdoc positions in Information Security and Program Verification at ETH Zurich

[Mueller Peter]

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.

  infsec.positions at inf.ethz.ch, jobs-pm at inf.ethz.ch 

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.