Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open Ph.D. position in Runtime Verification an...


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

From: Dmitriy Traytel <traytel@inf.ethz.ch>
Ph.D. Research Project at ETH Zürich on Big Data Monitoring
Prof. David Basin and Dr. Dmitriy Traytel, ETH Zürich

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.

We have an open Ph.D. research position on "Big Data
Monitoring". The project's main objective is to develop and
implement efficient, parallelized algorithms capable of checking
whether a high-volume and high-velocity stream of events comply
with given rules. The rules are formulated in an input language
that allows users to express temporal and data dependencies
between different events in the data feed in a simple and
intuitive manner. If any of the rules are violated, a compact
output of the data that caused the violation should be produced.

The ideal candidate for this position is an enthusiastic,
outstanding researcher 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 Zürich regulations require PhD
candidates to hold a Master's or equivalent degree (e.g.
Diplom). The project is funded by the Swiss National Science
Foundation and will be supervised by Prof. David Basin and Dr.
Dmitriy Traytel.

The Ph.D. student will be a paid employee of ETH Zürich. Salary
and employment conditions are attractive. ETH Zürich 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 matching the
profile above to apply, regardless of where you are from.

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 Dmitriy
Traytel at the following email address:

infsec.positions@inf.ethz.ch

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


Last updated: Mar 29 2024 at 08:18 UTC