← All jobs
C−

PhD and Postdoc positions related to Automated Verification, Security Protocols, and Cryptography (m/f/d) - Group Cremers

Type
Full-time
Work setup
On-site
Experience
Mid
Posted
10 days ago
SecuritySecurity

What security roles in crypto pay

64 salaries · our own data
median $202k$145k$268k

Most security roles in crypto pay between $145k and $268k, with a median of $202k.

Join the research group of Prof. Dr. Cas Cremers at CISPA − Helmholtz Center for Information Security in Saarbrücken, Germany. We are seeking motivated full-time PhD students and postdoctoral researchers to work at the forefront of security protocol analysis, applied cryptography, and formal verification. The intended start date is October 2025, though other arrangements can be discussed if necessary.

What you'll do

As a PhD student or postdoc, you will conduct research in security protocol analysis, applied cryptography, and formal verification within an international and interdisciplinary team. You will benefit from close individual supervision, worldwide collaborations, and significant funding for travel and equipment.

What you bring

  • A Master's degree from a research-oriented institution in a subject relevant to our research
  • For PhD Students: a background in computer science, formal methods, logics, or cryptography
  • For Postdocs: evidence of performing top-tier research
  • A commitment to contributing to a trustworthy, inclusive, and safe team atmosphere

What we offer

  • Competitive full-time gross base salary for E13 according to the German Federal Employment Agreement (TVöD)
  • PhD positions are four years with a formal checkpoint after approximately one year; postdoc contracts are at least two years with optional extension
  • Comprehensive benefits including health insurance, 30 days of paid vacation, and a robust pension scheme
  • Opportunities for personal and professional growth through language classes, research support, and social activities
  • Flat hierarchy encouraging collaboration and the sharing of perspectives and ideas
  • Free German language courses; English is the working language and German is not necessary
  • Onboarding support to ensure a seamless start

About CISPA

CISPA − Helmholtz Center for Information Security is a fully international research institute located in Saarbrücken, a city known for its international character, green spaces, and proximity to nature and the French border.

PhD and Postdoc positions related to Automated Verification, | CryptoJobsHQ