PhD Positions in Formal Methods for Trustworthy Systems and AI at TU Braunschweig [DE]
Deadline: Monday 7 December 2026
The Department of Computer Science at TU Braunschweig 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.
Interested candidates are requested to send their application directly to Clemens Dubslaff, head of the group.
For more information, see
https://www.tu-braunschweig.de/en/fk1
or contact Clemens Dubslaff at clemens.dubslaff at tu-braunschweig.de.