Email Gateway (Aug 22 2022 at 20:37): Email Gateway (Aug 22 2022 at 20:37):From: Christoph Sprenger <sprenger@inf.ethz.ch>
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:
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:
Applications and inquiries should be sent to Christoph Sprenger and Sandra
Schneider at the following email addresses.
infsec.positions@inf.ethz.ch, jobs-pm@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.
Last updated: Apr 25 2024 at 12:23 UTC