CISPA Helmholtz Center for Information Security 
Saarbrücken, Germany Résumé de l'offre
CISPA Helmholtz Center for Information Security in Saarbrücken, Germany, invites full‑time PhD students and postdoctoral researchers to join Prof. Dr. Cas Cremers’ group. Positions focus on automated verification, security protocol analysis, applied cryptography, and formal methods. The PhD role lasts four years with a yearly checkpoint; postdocs are at least two years with optional extension. Compensation is E13 TVöD, plus health insurance, 30 days of paid vacation, and a pension scheme. The institute offers a flat hierarchy, international collaboration, travel funding, language courses, and a supportive onboarding team. English is required; German is optional with free courses available. The start date is October 2025, with flexibility for arrangements.
Généré à partir du contenu enregistré de l'offre. Vérifiez toujours les détails dans l'annonce officielle.
Description du projet
The research group of Prof. Dr. Cas Cremers is seeking motivated full-time PhD students and postdoctoral researchers to join an international and interdisciplinary team working 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 We Offer:
- Competitive full time-gross base salary for E13 according to the scale of the TVöD (German Federal Employment Agreement).
- PhD student positions are intended to be four years, with a formal checkpoint after roughly one year.
Postdoc contracts are at least two years, with optional extension. - Comprehensive benefits package that includes health insurance coverage, 30 days of paid vacation and a robust pension scheme.
- Possibilities for personal and professional growth, encompassing language classes, research support, as well as extracurricular and social activities.
- Our onboarding team will provide you with all the necessary support for a seamless and successful start to your journey with us.
Working at CISPA:
- We promote a flat hierarchy that encourages working together as a cohesive team and contributing one’s perspectives and ideas.
- We offer an excellent research environment with close individual supervision, worldwide collaborations, and with significant funding for travel and equipment.
- Our locations is in Saarbrücken, which is a city with international flair (e.g., an International School and distinguished cuisine influenced by the proximity to the French border). The city is also known for its green spaces, parks and proximity to nature, providing opportunities for relaxation and outdoor activities.
- Excellent English, but no German? CISPA is a fully international research institute. Knowing German is really not necessary, although daily life is a bit smoother if you speak a few words and if you want to learn German, we offer free courses.
What We Expect:
- You have a Master’s degree from a research-oriented institution of higher education in a subject relevant to our research.
- For PhD Students: a background in computer science, formal methods, logics, or cryptography.
- For Postdocs: evidence of being able to perform to-tier research.
- We maintain a trustworthy, inclusive, and safe space and are looking for new colleagues willing to contribute to an enjoyable and friendly team atmosphere.
If you want to learn more about Cas and their work at CISPA, check out their website
Discover more
