[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
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:
Interface Theory for Security and Privacy
Henzinger , Thomas A.
Game-Theoretic Models for Blockchain Applications
Verification of Side Channel Properties
Cross-Layer Security for Blockchain Consensus
Security and Privacy by Design for Smart Contracts
Secure Blockchains in Network Transition Periods
Secure Network and Hardware for Efficient Blockchains
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...
More information about the Types-announce