The Institute of Information Security headed by Prof. David Basin at
ETH Zurich has three open positions for PhD students on research
projects in the following areas:
- Formal Verification of Secure Networking Systems
- Anonymity of Statistical Data
- Secure Human-Server Interaction
We are looking for enthusiastic outstanding Computer Science or
Mathematics students with a strong background in at least two of the
following topics
- formal methods or mathematical logic,
- probability theory and statistics, and
- information security.
Additionally, experience in the following specialized areas would be
advantageous:
- formal software development by refinement,
- experience with an interactive theorem prover, or
- security protocols.
ETH Zurich regulations require PhD students to hold a Masters or
equivalent degree (e.g., Diplom). All candidates matching the profile
above are encouraged to apply as soon as possible. We will process
applications until all positions are filled. Successful candidates are
expected to start soon after acceptance, but the starting date is
negotiable.
Applications should include:
- a curriculum vitae,
- 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 Sasa Radomirovic at the
following email address.
[email protected]
PhD students are paid employees of ETH Zurich. Salary and employment
conditions are attractive. Zurich is a diverse and multicultural city
which is consistently rated among the best cities in the world in
which to live.
Published end of June, 2015
------------------------------------------------------------------------------
Monitor 25 network devices or servers for free with OpManager!
OpManager is web-based network management software that monitors
network devices and physical & virtual servers, alerts via email & sms
for fault. Monitor 25 devices for free with no restriction. Download now
http://ad.doubleclick.net/ddm/clk/292181274;119417398;o
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
