Job posting

Ph.D. Position in Formal Methods for Security and Privacy

Application deadline: Not set

Position type: PreDoc

This is a call for this position:

  • Ph.D. Position in Formal Methods for Security and Privacy
    Employer: TU Wien
    Place of work: Vienna

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) and security (e.g., cryptographic protocols, system security, or blockchains) is a plus
  • 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
  • An international English-speaking environment (German not required)
  • A competitive salary
  • Flexible hours

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 our positions are 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.

Note: You will first have to register an account.