Logic List Mailing Archive

CfA: PhD Positions in Formal Methods for Trustworthy Systems and AI, 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.

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php