PhD students and post-docs docs at ETH Zurich

The Chairs of Information Security<> and Programming 
Methodology<> at ETH Zurich are recruiting PhD students and 
post-docs docs for a project on formal verification of secure networked systems. 
The project's focus will be on verifying the protocols and implementation for a 
secure Future Internet architecture<>. Details are 
available online here
and here <>.

Key requirements for successful applications:

  *   Strong commitment to research
  *   Interest in combining theory and practice
  *   For PhD students: excellent M.Sc. degree in Computer Science or in a related 
subject with a strong Computer Science component
  *   For post-docs: publications in top conferences or journals
  *   Proficiency in English and excellent communication skills, both oral and written

Applications and questions should be sent to David Basin 
(<>) and Peter Müller 
(<mailto://>). The application should include a CV and 
a description of research interests. We will consider applications until the 
positions are filled. The start date is negotiable.

More details about the positions:

  *   PhD and post-doc positions are fully funded and have an attractive salary and 
social benefits.
  *   Full scholarships are available for outstanding B.Sc. students interested in 
the PhD.
  *   ETH has one of the top computer science departments in the world: CS University 
  *   Zurich is consistently ranked among the top destinations in the world for 
quality of life

General information on doctoral studies at ETH is available at<>

Comments are closed.