[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
14 PhD positions are available in Austria within the SPyCoDe Special Research
Program
(https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$
).
SPyCoDe (Semantic and Cryptographic Foundations of Security and Privacy by
Compositional Design) is a special research program funded by FWF. The
collaborating research institutions are
* TU Wien
* IST Austria
* Universität Wien
* TU Graz
* Universität Klagenfurt
The security and privacy (S&P) by design principle states that data protection
should be considered since the early design of digital technologies, making S&P
a cornerstone in digitalization. SPyCoDe aims at creating the technological
foundations for designing complex, multi-layer systems with provable S&P
guarantees. This goal is highly interdisciplinary, integrating computer-aided
verification, system security, and cryptography, and touching on further
fields, like networks, game theory, and blockchains. The cornerstone of our
approach is the specification and enforcement of S&P at the level of the
interfaces between layers in order to establish end-to-end S&P guarantees in a
compositional way.
SPyCoDe combines scientific excellence and interdisciplinarity. The team
members are world-class researchers, whose prior work in the field led not only
to groundbreaking theoretical contributions but also to immediate, large-scale
industrial adoption. A unique feature of SPyCoDe is the combination of
world-class basic research in a timely topic with immediate, large-scale
industrial impact.
Entry level salary as a predoctoral researcher is covered by level B1 of the
Austrian Collective Agreement for university staff, and receives a minimum of
currently EUR 2.196,75/month gross, 14 times/year for 30 hours/week and EUR
2.929,00/month for 40 hours/week (about EUR 28.675/year net). Relevant working
experiences may increase the monthly income.
The application for SPyCoDe is open until November 1st, 2022.
The expected start is January 1st, 2023.
For further details, please look at
https://urldefense.com/v3/__https://spycode.at__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tfhrxegU$
. Applications are exclusivity to be conducted online at
https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/1__;!!IBzWLUs!RRd1HyXBNOqURsKUDGxNF6bqhucZWXxMDBCpR0XJpj0OT1z6vsrIWWXovf4ER8EtFAxAaCmxE9KU0tiK1EaUHkYPhAB1UKuNuu4tPciOBRQ$
.
In case of any questions, please contact Olha Denisova at
[email protected] .
