[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
