International Association
for Cryptologic Research

The Security and Privacy Research Unit at TU Wien (https://secpriv.wien) is offering a fully funded PhD position within the Christian Doppler Laboratory on Blockchain Technologies for the Internet of Things (CDL-BOT, https:// www.cdl-bot.at/en) under the supervision of Univ.-Prof. Dr. Matteo Maffei.

The successful candidate will conduct world-class research on the formal verification of security properties in cryptocurrencies, smart contracts, and DeFi applications.

The Security and Privacy group at TU Wien is internationally renowned, regularly publishes in top security and privacy venues, and consists of an international and diverse team with various expertise in the field of cryptography, security, and privacy.

We offer:

• An international environment: the working language is English, knowledge of German is not required.
• Continuing personal and professional education and flexible working hours
• Central location of workplace with very good accessibility (U1/U2/U4 Karlsplatz)
• A creative environment in one of the most liveable cities in the world
• A highly competitive salary

Interested candidates should send the application material to matteo.maffei@tuwien.ac.at. The application material should include:

• a motivation letter
• Bachelor and Master transcripts of records
• a publication list
• a curriculum vitae
• contact information for two referees

Applications received by November 19th will receive full consideration, but they will be accepted until the position is filled.

Additional details on the call are available at https://secpriv.wien/work/Bot.pdf

Closing date for applications:

Contact: Univ.-Prof. Dr. Matteo Maffei (matteo.maffei@tuwien.ac.at)

More information: https://secpriv.wien/work/Bot.pdf