Vacancies

We are looking for a PhD student or PostDoc to fill a vacant research and teaching position (full-time, E 13 TV-L).

In research, we expect collaboration with researchers in the SFB/TRR CPEC (Foundations of Perspicuous Software Systems) on the development, analysis and testing of methods that can be used to explain logical inferences. Teaching (of 4h per week during the semester) mainly encompasses tutorials and seminars on basic and advanced topics in theoretical computer science and logic.

The position is available from April 1, 2023 until September 30, 2025. Application deadline is January 31, 2023. We will, however, accept applications until the position is filled.

For more information about the position and how to apply, please consult the formal announcement of the position at https://www.verw.tu-dresden.de/stellaus/download.asp?file=01-2023\Baader_WIMI_eng_161222_w22-456.pdf.