Thursday, May 16, 2019

[DMANET] Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien, Austria - Deadline: 31.5.2019

Several PhD and Postdoc positions in Formal Methods and Web Security at TU
Wien funded by ERC Consolidator Grant

WHAT: The Security & Privacy group at TU Wien (
<https://secpriv.tuwien.ac.at> https://secpriv.tuwien.ac.at) is currently
looking for several outstanding Ph.D. and postdoc candidates to conduct
research within the ERC Consolidator Project "Foundations and Tools for
Client-Side Web Security". The project will develop a holistic approach to
client-side web security, laying its theoretical foundations and developing
innovative security enforcement technologies. The project is a
multidisciplinary research effort, promising practical impact and delivering
breakthrough advancements in various disciplines, such as web security,
JavaScript semantics, software engineering, and program verification.

APPLICATION: Successful applicants should have a background and interest in
at least one of the following areas:

- security

- web technologies

- formal methods

- semantics of programming languages

- verification

- Doctoral applicants should have recently completed (or be close to
complete) a master or bachelor with honours degree. Postdoctoral applicants
should have an excellent publication record with at least one top-tier
conference in one of the aforementioned areas.

+ The employment is full-time (40 hrs/week) and the salary is
internationally competitive (the yearly entry-level gross salary is approx.
40K EUR for PhD students and 53K for postdocs).

+ The working language at the university is English, knowledge of German is
not required.

APPLICATION: Interested candidates should send

- a motivation letter

- transcripts of records (Bachelor and Master, for PhD applicants)

- a publication list (for postdoc applicants)

- a research statement (for postdoc applicants)

- a curriculum vitae

- contact information for two referees

to Univ. Prof. Matteo Maffei

<mailto:matteo.maffei@tuwien.ac.at> matteo.maffei@tuwien.ac.at

DEADLINE: The application deadline is May 31, 2019.

ABOUT TU WIEN (Vienna University of Technology), AUSTRIA: 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>
http://logic-cs.at). Vienna features a vibrant and excellence-driven
research landscape, with several leading research institutes (e.g.,
University of Vienna, IST, AIT, SBA) and universities continuously
establishing collaborations in various fields, including security and
privacy. Finally, Vienna has been consistently ranked by Mercer over the
last years the best city for quality of life worldwide.


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************