Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2 open PhD positions in formal development and...


view this post on Zulip Email Gateway (Aug 18 2022 at 15:01):

From: Christoph Sprenger <sprenger@inf.ethz.ch>
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. For these positions, we are looking for enthusiastic
students with a strong background in

and with an interest in applying their knowledge to formal development
and testing of secure software. Additionally, experience in the
following specialized areas would be an asset:

PhD students are paid employees of the university. 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. ETH Zurich regulations require doctoral students to hold a
Master's or equivalent degree (e.g. Diplom, DEA, etc.). Successful
candidates are expected to be able to join us on October 1st, 2010.

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, and, if possible,
publications, and letters of recommendation from teachers or
employers. Applications and inquiries should be sent to Christoph
Sprenger and Mohammad Torabi Dashti at the following email address.

infsec.positions@inf.ethz.ch


Chair of Information Security, ETH Zurich
http://www.infsec.ethz.ch


Last updated: Apr 24 2024 at 01:07 UTC