[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Security and Privacy Research Unit at TU Wien is offering a fully funded
PhD position in Formal Methods for Security and Privacy under the supervision
of Univ.-Prof. Dr. Matteo Maffei.
Your profile:
* - Master degree in computer science or equivalent (degree completion by
employment start)
* - Excellent English, communication, and teamwork skills
* - Background in formal methods (e.g., automated reasoning, type systems,
or proof assistants) and security (e.g., cryptographic protocols, system
security, or blockchains) is a plus
* - Experience in research is a plus
We offer:
* - A job in an internationally renowned group, which regularly publishes
in top security venues, and consists of an international, diverse, and
inclusive team with expertise in formal methods, cryptography, security,
privacy, and blockchains
* - Diverse research topics in formal methods for security and privacy
* - An international English-speaking environment (German not required)
* - A competitive salary
* - Flexible hours
Applications are to be performed online
(https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/5__;!!IBzWLUs!REAPGrFPuo4Fic4YcFNmTg9xdU37y1nrt_6EDS4_ruOnIMFx6_aIaGIuGW3YXfexisqs7kqYRinDaZ6r6yX_d-FyZGXcvF_4EYzrLpSS7MA$
). The application material should include:
* - Motivation letter
* - Bachelor/Master’s transcripts
* - Publication list (if available)
* - Curriculum vitae
* - Contact information for two referees
We strongly encourage applications from underrepresented groups.
Applications are welcome until our positions are filled. The applications will
be evaluated in a bi-weekly fashion, and applicants will be contacted only in
case they are selected for an interview.
---
Univ. Prof. Matteo Maffei
Security and Privacy Group
TU Wien
Favoritenstrasse 9-11<x-apple-data-detectors://6/1>, Stiege 2, 1. Stock
Wien, A-1040
Website:
secpriv.tuwien.ac.at<https://urldefense.com/v3/__http://secpriv.tuwien.ac.at/__;!!IBzWLUs!REAPGrFPuo4Fic4YcFNmTg9xdU37y1nrt_6EDS4_ruOnIMFx6_aIaGIuGW3YXfexisqs7kqYRinDaZ6r6yX_d-FyZGXcvF_4EYzrxMchOi0$
>
Phone: +43158801184860<tel:+43158801184860>
