Email Gateway (Aug 17 2022 at 14:46): Email Gateway (Aug 17 2022 at 14:46):From: Cas Cremers <ccremers@win.tue.nl>
OPEN POSITION AT ETH ZURICH
Compositional Methods for the Design and Validation
of Security Protocols and 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.
Our project will focus on compositional methods for the verification
of security protocols. Hence we are looking for an enthusiastic young
researcher with a strong interest in formal methods and computer
security (in particular protocols). Additionally, experience in
higher-order logic, theorem proving, or model checking would be an
asset.
The researcher 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
infsec.positions@lists.inf.ethz.ch. Applications should also be sent
to Cas Cremers at the same e-mail address and should include a
curriculum vitae, a brief description of research interests, and, if
possible, letters of recommendation from teachers or employers.
Last updated: Nov 21 2024 at 12:39 UTC