Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open Ph.D. position in Privacy and Access Cont...


view this post on Zulip Email Gateway (Aug 22 2022 at 17:31):

From: Esfandiar Mohammadi <mohammadi@inf.ethz.ch>
[Apologies for potential cross and multiple postings]

Ph.D. Research Project at ETH Zurich on
Privacy, Data Protection, and Access Control
Prof. David Basin, ETH Zurich

We have open Ph.D. research positions in the area of Privacy, Data
Protection, and Access Control. We seek to hire one or more doctoral
students who will carry out research on the development of novel control and
auditing mechanisms that enhance data protection, e.g., by ensuring that
data is only used for the purposes it is collected. This will involve
developing and prototyping new access control mechanisms as well as
using code analysis and machine learning methods to extract and
determine "purpose" from code and other system artifacts. In addition and
independent of foundational research on these topics, there will be
the opportunity to work with our industrial partners to evaluate the
developed techniques on realistic large-scale systems.

The ideal candidate for this position is an enthusiastic, outstanding
student with a strong background and interest in one or more of
the following areas:

Candidates with a strong theoretical background in related areas are
also encouraged to apply. ETH Zurich regulations require PhD candidates
to hold a Master's or equivalent degree (e.g. Diplom). The Ph.D. student
will be a paid employee of ETH Zurich. Salary and employment conditions
are very attractive.

Applications should include a curriculum vitae, a brief description of
research interests, transcripts of grades, 2-3 letters of recommendation
from teachers or employers, and, if possible, the Master's or
Bachelor's thesis and publications. Applications and informal inquiries
should be sent to Esfandiar Mohammadi at the following email address:

infsec.positions@inf.ethz.ch

ETH Zurich specifically encourages women to apply with a view towards
increasing the proportion of female researchers.

Our group:
The Information Security Group carries out research on methods and tools
for the analysis and construction of safe and secure systems. This
includes methods for specifying systems, developing systems in
correctness-preserving ways, and verifying or testing existing systems
and infrastructures. Our goal is not only to build and analyze novel
systems and security solutions, but also to develop better methods and
tools for system engineering and quality assurance activities.

The city of Zurich:
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 matching the profile above to apply, regardless of where you are from.


Last updated: Nov 21 2024 at 12:39 UTC