Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien

The Security & Privacy group at TU Wien 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.


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. 


Interested candidates should send the below given documents to Prof. Matteo Maffei directly: matteo.maffei AT tuwien DOT ac DOT at

  • 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

DEADLINE: The application deadline is June 30, 2019

About TU Wien (Vienna University of Technology)

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

The Faculty of Informatics at Vienna University of Technology is the gravitational center of informatics in Austria. Our faculty is the country’s largest research and educational institution in the area of informatics and business informatics. The Faculty of Informatics at TU Wien has been consistently ranked among top 60 computer science research and teaching institutions in the world by The Times Higher Education Ranking.