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

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Several PhD and Postdoc positions in Formal Methods 
and Web Security at TU Wien, Austria - Deadline: 31.5.2019
Date: Thu, 16 May 2019 12:10:13 +0200
From: Mihaela Rozman <mihaela.rozman at tuwien.ac.at>
To: dmanet at zpr.uni-koeln.de

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) 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

matteo.maffei at 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).  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.