Postdoc Position in Formal Methods for Concurrent/Distributed Systems (m/f/d) - Group Jacobs

European Commission; Deutschland; Vor Ort; EUR 45.000 - 60.000; Vollzeit

Zusammenfassung

A leading research institution in Germany is seeking a qualified candidate for a postdoc position in computer science. The role involves conducting research on formal techniques for obtaining provably correct systems, specifically focusing on component-based systems. Candidates must hold a doctorate and have a strong theoretical background in formal methods, along with excellent English skills. No German is necessary, as the institute is international.

Leistungen

Free German courses

Qualifikationen

• Hold a doctorate in computer science or a closely related area.
• Strong theoretical background with experience in formal methods.
• Excellent English is required, knowing German is a plus.

Aufgaben

• Conduct research into formal techniques for provably correct systems.
• Focus on component-based systems with complex properties.
• Make it easier to obtain systems with reliable correctness guarantees.

Kenntnisse

Strong theoretical background in formal methods

Experience in distributed systems

Model checking

Formal synthesis

Excellent English

Ausbildung

Doctorate in computer science or closely related area

Jobbeschreibung

Would you like to help us make EURAXESS even better? Take this very quick user satisfaction survey - it won’t take more than 5 minutes!

CISPA Helmholtz Center for Information Security

Organisation/Company CISPA Helmholtz Center for Information Security Research Field Computer science » Other Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Country Germany Application Deadline 31 Dec 2025 - 00:00 (Europe/Berlin) Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No

Offer Description

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.

• 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.

Languages ENGLISH Level Good

Additional Information

Work Location(s)

Number of offers available 1 Company/Institute CISPA Helmholtz Center for Information Security Country Germany Geofield