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 ([email protected]): - 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. _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
