[TYPES/announce] Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich

Mueller Peter peter.mueller at inf.ethz.ch
Thu Feb 6 04:44:56 EST 2020


Senior Postdoc / Project Coordinator position in Information Security and Program Verification at ETH Zurich

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 are hiring a Postdoc in a large 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 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.

In addition to research, the responsibilities of the position include project management, in particular, coordination among the involved research groups, lightweight reporting to the funding agency, and outreach to potential industrial users of the developed solutions.

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, and
  *   letters of recommendation.

Applications and inquiries should be sent to Christoph Sprenger and Sandra Schneider at the following email addresses.

  infsec.positions at inf.ethz.ch<mailto:infsec.positions at inf.ethz.ch>, jobs-pm at inf.ethz.ch<mailto:jobs-pm at inf.ethz.ch>
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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200206/958792f9/attachment.html>


More information about the Types-announce mailing list