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