International Association
for Cryptologic Research

The Security and Privacy Research Unit at TU Wien is offering a fully funded PhD position in Formal Methods for Security and Privacy under the supervision of Univ.-Prof. Dr. Matteo Maffei.
Your profile:

• Master degree in computer science or equivalent (degree completion by employment start)
• Excellent English, communication, and teamwork skills
• Background in formal methods (e.g., automated reasoning, type systems, or proof assistants) or cryptography
• Experience in research is a plus

We offer:

• A job in an internationally renowned group, which regularly publishes in top security venues, and consists of an international, diverse, and inclusive team with expertise in formal methods, cryptography, security, privacy, and blockchains
• Diverse research topics in formal methods for security and privacy, with a specific focus on cryptographic protocols and blockchains
• An international English-speaking environment (German not required)
• A competitive salary
• Flexible hours

Applications are to be performed online (https://tools.spycode.at/recruiting/call/5). The application material should include:

• Motivation letter
• Bachelor/Master’s transcripts
• Publication list (if available)
• Curriculum vitae
• Contact information for two referees

We strongly encourage applications from underrepresented groups. Applications are welcome until the position is filled. The applications will be evaluated in a bi-weekly fashion, and applicants will be contacted only in case they are selected for an interview.

Closing date for applications:

Contact: Univ.-Prof. Dr. Matteo Maffei

More information: https://tools.spycode.at/recruiting/call/5