Postdoc Position in Formal Methods for Concurrent/Distributed Systems (m/f/d) - Group Jacobs
St. Ingbert,
Germany
The research group of Dr. Swen Jacobs conducts research into formal techniques for obtaining provably correct systems, with a focus on component-based systems with a parametric number of components, and complex properties including security and real-time guarantees. The techniques encompass formal verification, automatic synthesis/repair, as well as learning of systems and their properties. Overall, our mission is to make it easier to obtain systems with reliable correctness guarantees.
What We Offer:
- Competitive full time-gross base salary for E13 according to the scale of the TVöD (German Federal Employment Agreement)
- 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
- We maintain a trustworthy, inclusive, and safe space and are looking for curious and creative new colleagues willing to learn & grow in an enjoyable and friendly team atmosphere.
What We Expect:
- For this position you must hold a doctorate in computer science or a closely related area.
- You further need to have a strong theoretical background, with experience and a keen interest in formal methods such as model checking, formal synthesis, or related topics.
- Experience in distributed systems, automated reasoning, or techniques for learning formal languages is a plus.
- Excellent English, but no German? CISPA is an 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.
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 are in Saarbrücken and St. Ingbert, in the Saarland region with international flair (e.g., an International School and distinguished cuisine influenced by the proximity to the French border). Saarland is also known for its green spaces, parks and proximity to nature, providing opportunities for relaxation and outdoor activities.
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 at CISPA, 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
