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.