Email Gateway (Aug 18 2022 at 14:22): Email Gateway (Aug 18 2022 at 14:22):From: Cas Cremers <cas.cremers@inf.ethz.ch>
ETH Zurich, Switzerland
Open PhD and postdoc positions on formal methods and cryptographic
protocols: security strengthening transformations
The research group headed by Prof. David Basin at the Swiss Federal Institute
of Technology, Zurich (ETH Zurich) has two open positions for PhD students or
postdoctoral researchers.
The project aims to develop security-strengthening transformations for
cryptographic protocols and provide both formal analysis methods as well as
cryptographic (indistinguishability-based) proof methods for establishing the
correctness of the transformations. The research of one candidate will focus
on the formal modeling and analysis of the transformations. The other
candidate will focus on developing cryptographic proof methods for such
transformations.
For this project, we are looking for enthusiastic students or researchers with
interests in the intersection of formal methods and cryptography. A background
in either formal methods or cryptographic proof methods for protocols would be
an asset.
PhD students and postdoctoral researchers are paid employees of the university,
and salary and employment conditions are attractive. 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).
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 also be sent to Cas Cremers at the email address above.
Applications should include a curriculum vitae, a brief description of research
interests, and, if possible, letters of recommendation from teachers or
employers.
The website of the Information Security Group can be found at
http://www.infsec.ethz.ch/
and the open positions are described at
http://people.inf.ethz.ch/cremersc/open-positions.html
Last updated: Nov 21 2024 at 12:39 UTC