starting date is negotiable.
Applications should include:
a curriculum vitae,
a brief description of research interests, and
letters of recommendation.
Applications and inquiries should be sent to Christoph Sprenger and Sandra
Schneider at the following email addresses.
infsec.positi
,
- a brief description of research interests,
- transcripts of grades,
- letters of recommendation from teachers or employers, and,
- if possible, the Master's or Bachelor's thesis and publications.
Applications and inquiries should be sent to Christoph Sprenger and Sandra
Schneider at the
The Institute of Information Security headed by Prof. David Basin at
ETH Zurich has multiple open positions for PhD students on research
projects in the area of formal methods for information security.
We are looking for enthusiastic outstanding Computer Science or
Mathematics students with a stro
Ph.D. Research Project at ETH Zurich on
Security Modeling and Analysis in Cyber-physical Systems
Prof. David Basin and Prof. Srdjan Capkun, ETH Zurich
Cyber-physical systems are systems in which computational and physical
elements are tightly coupled. Due to this coupling, their failure can
have
should be sent to Christoph
Sprenger and Mohammad Torabi Dashti at the following email address.
infsec.positi...@inf.ethz.ch
---
Chair of Information Security, ETH Zurich
http://www.infs
(Apologies for multiple postings.)
-
CALL FOR PAPERS
August 9th - 13th at University of Copenhagen.
LOGICS IN SECURITY
http://lis.gforge.uni.lu
CO-LOCATED WITH ESSLLI2010
http://esslli2010cph.info/
-
WORKSHOP CHAIRS
- Dov Gabbay
ld 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 Christoph Sprenger at:
spren...@i
