[TYPES/announce] PhD openings in the Security and Privacy group at TU Wien

[Maffei, Matteo]

The Security & Privacy group at TU Wien
(https://secpriv.tuwien.ac.at/home/) is currently looking for 
outstanding Ph.D.  candidates. The successful applicants should have
recently completed (or be close to complete) a master or bachelor with
honours degree, and have a good background and interest in at least
one of the following areas:

- security
- cryptography
- semantics of programming languages (e.g., functional programming, theorem proving)
- verification (e.g., type systems, abstract interpretation, model checking)

 The successful candidates will conduct research in one of the following topics:

- formal methods for security and privacy 
- web security
- blockchain technologies

These positions are supported by

- the ERC Consolidator Grant "BROWSEC: Foundations and Tools for Client-Side Web Security";
- the FWF Doctoral Program "LogiCS: Logical Methods in Computer Science";
- the FFG Project "pDLART: Privacy-respecting Distributed Ledger and Regulatory Technologies”;
- and internal TU Wien funding.

The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is
approx. 39K EUR, which roughly corresponds to 2K EUR net per month). 

Interested candidates should send

- a motivation letter 
- transcripts of records (Bachelor and Master)
- a curriculum vitae 
- contact information for two referees

to matteo.maffei at tuwien.ac.at. The application deadline is Juli 15,
but applications will be accepted until the positions are filled. 

The working language in the group is English, knowledge of German is
not required.  

TU Wien offers an outstanding research environment and numerous
professional development opportunities.  The Faculty of Informatics is
the largest one in Austria and is consistently ranked among the best
in Europe. Ph.D. students have the possibility to join the LogiCS
doctoral school (http://logic-cs.at).  Vienna features a vibrant and excellence-driven
research landscape, with several leading research institutes (e.g.,
IST, AIT, SBA) and universities continuously establishing
collaborations in various fields, including cybersecurity. Finally,
Vienna has been consistently ranked by Mercer over the last years the
best city for quality of life worldwide.