[TYPES/announce] Open Ph.D. and post-doc positions in formal verification of secured networked systems at ETH Zurich

[Esfandiar Mohammadi]

[Apologies for potential cross and multiple postings]

The Chairs of Information Security and Programming Methodology at ETH Zurich are 
recruiting PhD students and post-docs for a project on formal verification of secure networked 
systems.

The Chairs of Information Security <http://www.infsec.ethz.ch/> and Programming Methodology <http://www.pm.inf.ethz.ch/> at ETH Zurich are recruiting PhD 
students and post-docs docs for a project on formal verification of secure networked systems. The 
project’s focus will be on verifying the protocols and implementation for a secure Future Internet  <https://www.scion-architecture.net/>
architecture <https://www.scion-architecture.net/>. Details are available online here <https://zisc.ethz.ch/research/zisc-projects-2011-ongoing/full-stack-verification-of-secure-inter-domain-routing-protocols/> and here <http://www.pm.inf.ethz.ch/research/verifiedscion.html>.

Key requirements for successful applications:
Strong commitment to research
Interest in combining theory and practice
For PhD students: excellent M.Sc. degree in Computer Science or in a related subject with a 
strong Computer Science component
For post-docs: publications in top conferences or journals
Proficiency in English and excellent communication skills, both oral and written
Applications and questions should be sent to David Basin (infsec.positions at inf.ethz.ch <mailto:infsec.positions at inf.ethz.ch>) and Peter Müller
(jobs-pm at inf.ethz.ch <mailto://jobs-pm@inf.ethz.ch>). The application should include a CV, a description of research interests, a transcript 
of grades for Ph.D. student applicants, and optionally theses or publications. We will consider applications 
until the positions are filled. The start date is negotiable.

More details about the positions:
PhD and post-doc positions are fully funded and have an attractive salary and social benefits.
Full scholarships are available for outstanding B.Sc. students interested in the PhD.
ETH has one of the top computer science departments in the world: CS University Rankings <https://www.topuniversities.com/university-rankings/university-subject-rankings/2018/engineering-technology>
Zurich is consistently ranked among the top destinations in the world for quality of life
General information on doctoral studies at ETH is available at www.inf.ethz.ch/doctorate.html <http://www.inf.ethz.ch/doctorate.html>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20181106/bd520a8b/attachment-0001.html>