PhD student and postdoctoral positions in formal methods, Vienna (Austria)

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.