[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
[email protected], [email protected]
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.
