[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]

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

1

Interface Theory for Security and Privacy

Henzinger , Thomas A.

IST Austria


2

Game-Theoretic Models for Blockchain Applications

Fuchsbauer, Georg

TU Wien


5

Verification of Side Channel Properties

Bloem, Roderick

TU Graz


4

Cross-Layer Security for Blockchain Consensus

Pietrzak, Krzysztof

IST Austria

5

Security and Privacy by Design for Smart Contracts

Maffei, Matteo

TU Wien


6

Secure Blockchains in Network Transition Periods

Ullrich, Johanna

Universität Wien

7

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>