Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Open Ph.D. and post-doc positions in formal ve...

Email Gateway (Aug 22 2022 at 18:44):

From: Traytel Dmitriy <traytel@inf.ethz.ch>
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 [1] and Programming Methodology [2]
at ETH Zurich are recruiting PhD students and post-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 architecture [3]. Details are available
online here [4] and here [5].

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@inf.ethz.ch<mailto:infsec.positions@inf.ethz.ch>) and Peter Müller (jobs-pm@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 [6]

• 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>

[1] http://www.infsec.ethz.ch/
[2] http://www.pm.inf.ethz.ch/
[3] https://www.scion-architecture.net/
[4] https://zisc.ethz.ch/research/zisc-projects-2011-ongoing/full-stack-verification-of-secure-inter-domain-routing-protocols/
[5] http://www.pm.inf.ethz.ch/research/verifiedscion.html
[6] https://www.topuniversities.com/university-rankings/university-subject-rankings/2018/engineering-technology

Last updated: May 01 2024 at 20:18 UTC