[TYPES/announce] 7 PhD positions available in Austria within the SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) Special Research Program

Maffei, Matteo matteo.maffei at tuwien.ac.at
Mon Nov 28 02:35:49 EST 2022

SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design) is a special research program funded by FWF. World-class researchers from TU Wien, IST Austria, Universität Wien, TU Graz and Universität Klagenfurt team up to create the technological foundations for designing complex, multi-layer systems with provable S&P guarantees. Interdisciplinary approach integrates computer-aided verification, system security, cryptography, and touching on further fields, like networks, game theory, and blockchains. The team includes experts from all disciplines at the core of SPyCoDe, with 6 ERC grant holders (for a total of 10 ERC grants), 6 young researchers who already received prestigious awards, and >40% female researchers.
SPyCoDe is looking for 7 highly qualified and motivated students who have a master's degree in computer science or another related field and experience in formal methods, system security, security and privacy and/or cryptography for collaborative interdisciplinary research. SPyCoDe is offering PhD positions for 4 years for 30 hours/week, with an option to upgrade to 40 hours/week with very competitive salary.
The 7 projects available in this call are list below, along with the principal investigator acting as supervisor and the research institution:


Project Title

Principal Investigator

Research Institution


Interface Theory for Security and Privacy

Henzinger , Thomas A.

IST Austria


Game-Theoretic Models for Blockchain Applications

Fuchsbauer, Georg

TU Wien


Verification of Side Channel Properties

Bloem, Roderick

TU Graz


Cross-Layer Security for Blockchain Consensus

Pietrzak, Krzysztof

IST Austria


Security and Privacy by Design for Smart Contracts

Maffei, Matteo

TU Wien


Secure Blockchains in Network Transition Periods

Ullrich, Johanna

Universität Wien


Secure Network and Hardware for Efficient Blockchains

Kokoris-Kogias, Eleftherios

IST Austria

Application start: 28.11.2022
Application deadline:  23.12.2022
Expected start of work: 01.02.2023

You can find more information about the projects, requirements for candidates and application procedure on the SPyCoDe website https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!Ug1zy62Qh-_anc49iS1lGS1lVqshVSLO09qlTVC8nBGarculcWb7a437xwQKCur1Wx8LFtxKyVrm3GQwgyIj9YZCiAV3tSMJNlV7dKk-E1M$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221128/73a45bee/attachment-0001.htm>

More information about the Types-announce mailing list