[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Open PhD position in Information Security at ETH Zurich: Automated Validation of Trust and Security of Service-oriented Architectures


	       Automated Validation of Trust and Security
		   of Service-oriented Architectures


The research group headed by Prof. David Basin at the Swiss Federal
Institute of Technology, Zurich (ETH Zurich) has an open position for a
PhD student.

The open position is part of the Avantssar EU project, which focusses on
the automated validation of trust and security properties of service
oriented architectures.  For this position, we are looking for
enthusiastic young researchers with a strong interest in formal methods
and computer security. Additionally, experience in higher-order logic,
theorem proving, or model checking would be an asset.

The PhD student employed will be given the opportunity to carry out a
PhD in Computer Science at ETH Zurich, on a topic related to the
project. ETH Zurich regulations require doctoral students to hold a
Master's or equivalent degree (e.g. Diplom). PhD students are paid
employees of the university, and salary and employment conditions are

Zurich is a diverse and multicultural city which is consistently rated
among the best cities in the world in which to live. We favor the same
sort of diversity that defines Zurich's cultural makeup and encourage
anyone to apply with interest in formal methods and security, regardless
of where you are from.

For further information please contact Cas Cremers at:


Applications should be sent to Cas Cremers at the address above, and
also to:


Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.

ETH Zurich, Dr. Cas Cremers, Department of Computer Science
IFW C 43.2, Haldeneggsteig 4 / Weinbergstrasse, 8092 Zurich, SWITZERLAND
Tel +41 44 632 78 09, Fax +41 44 632 11 72,