PhD and Postdoc positions related to Automated Verification, Security Protocols, and Cryptography (m/f/d) - Group Cremers
Saarbrücken,
Germany
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.
Application Process
CISPA is committed to increasing the representation of women, minorities, and individuals with disability in Computer Science. In accordance with the Equal Opportunity Plan, CISPA aims at increasing the number of women in Computer Science, and explicitly encourages women to apply. Applications of severely disabled candidates with equivalent qualifications will be given priority. In general, we welcome applications regardless of gender, nationality, ethnic and social origin, religion/belief, disability, age, sexual orientation and identity.
In case of interest in working with Cas, read some of the groups' recent publications, and figure out which ones appeal most to you. When applying, indicate what appeals to you and how this interacts with your own research interests.
Press the "Apply now" button at the end of the page. Please upload your documents in PDF format on our application platform. Applications via email cannot be accepted.
For any questions regarding the application process, please check out our FAQ.
CISPA Helmholtz Center for Information Security is a German national Science Institution within the Helmholtz Association and provides a unique work environment that offers the advantage of a university department and a research laboratory alike. CISPA's mission is to rethink the digitized world of the future from the ground on up an make it safer through innovative cutting-edge research. CISPA is committed to the highest international academic standards. We offer a world-class research environment that grants extensive resources to a wide range of researchers and constitutes an attractive destination for the best talents and scientists from all countries. CISPA provides a highly international and diverse working environment, currently hosting researchers of over 40 nationalities.
CISPA headquarter is located in Saarbrücken, in the tri-border area of Germany, France and Luxembourg. The CISPA campus is located close to Saarland University, known for its excellence in Computer Science & Cybersecurity programs; the Max Planck Institute for Informatics and the Max Planck Institute for Software Systems; the German Research Center for Artificial Intelligence (DFKI); and more.
For more information about CISPA, see https://cispa.de/en
About CISPA
