OPEN POSITION AT ETH ZURICH
Automated Validation of Trust and Security
of Service-oriented Architectures
http://www.avantssar.eu/
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
attractive.
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:
[EMAIL PROTECTED]
Applications should be sent to Cas Cremers at the address above, and
also to:
[EMAIL PROTECTED]
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,
www.infsec.ethz.ch
-------------------------------------------------------------------------
This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
Don't miss this year's exciting event. There's still time to save $100.
Use priority code J8TL2D2.
http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
