Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD Position in Explainable Formal Methods (TU...

Email Gateway (Sep 04 2026 at 08:06):

From: "Dubslaff, Clemens" <cl-isabelle-users@lists.cam.ac.uk>
Subject: [isabelle] PhD Position in Explainable Formal Methods (TU Braunschweig, Germany)

The Department of Computer Science at TU Braunschweig (Germany, https://www.tu-braunschweig.de/en/fk1) is establishing a research group on Formal Methods for Trustworthy Systems and AI, offering several PhD positions. Topics of interest include formal verification, symbolic methods, and automated reasoning, with applications in AI and explainability.

Positions

The positions are full-time, paid according to the German salary scale TV-L 13, and offered in a stimulating work environment that is well-embedded nationally (e.g., CPEC: https://cpec.science) and internationally (e.g., TU Eindhoven: https://fsa.win.tue.nl/).

Requirements

Candidates are required to have

• a very good Master's degree in computer science, mathematics, or a closely related field,
• a strong background in theoretical computer science,
• motivation to conduct theoretical research with applications in practice,
• proficiency in English, and willingness to learn German.

Good programming skills in Rust and knowledge of automated reasoning, model checking, and logics are considered a plus.

Applications

Interested candidates are requested to send the following documents to Clemens Dubslaff, head of the group (clemens.dubslaff@tu-braunschweig.de):

• A short letter of motivation and curriculum vitae,
• transcripts of records (Bachelor and Master studies),
• Bachelor thesis, and Master thesis (or a draft of the latter).

Please consider sharing this call also with colleagues and potential candidates in your network.

Last updated: Sep 17 2026 at 22:43 UTC