Animation and exchanges in the Petri Nets community

[address@concealed]

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 (address@concealed):
- 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.