[TYPES/announce] 14 PhD positions in Austria within the SPyCoDe Special Research Program

[Maffei, Matteo]

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 recruiting-questions at spycode.at .


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221005/8200017e/attachment-0001.htm>