[TYPES/announce] PhD Position in Formal Methods for Security and Privacy at TU Wien

[Maffei, Matteo]



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>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240129/dee4cd8f/attachment-0001.htm>