Email Gateway (Aug 18 2022 at 11:50): Email Gateway (Aug 18 2022 at 11:50):From: Cas Cremers <cas.cremers@inf.ethz.ch>
OPEN POSITION AT ETH ZURICH
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
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:
Applications should be sent to Cas Cremers at the address above, and
also to:
infsec.positions@lists.inf.ethz.ch
Applications should include a curriculum vitae, a brief description of
research interests, and, if possible, letters of recommendation from
teachers or employers.
Last updated: May 03 2024 at 12:27 UTC