[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

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 2.2K EUR net per month).

Interested candidates should apply within the Doctoral School on Logical Methods in Computer Science at TU Wien, following the instructions at http://logic-cs.at/phd/admission/ .  The next application deadline is September 1st,
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.  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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180829/50e314cb/attachment-0001.html>