[PlanetKR] Research and Teaching position at TU Dresden

Franz Baader franz.baader at tu-dresden.de
Wed Dec 21 13:03:13 UTC 2022

Dear members of the KR community,

The group of Prof. Franz Baader at TU Dresden, whose main research areas are in Automated Deduction and Description Logics, is 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***.

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 <https://www.verw.tu-dresden.de/stellaus/download.asp?file=01-2023%5CBaader_WIMI_eng_161222_w22-456.pdf>

More Information on the group of Prof. Franz Baader at TU Dresden can be found at
and on our projects within SFB/TRR CPEC at

If you are looking for a new position and want to do cutting-edge research on explainable logic-based knowledge representation, please apply for this position. Otherwise, please alert your students or colleagues to this opportunity of joining an internationally renowned research group at  an excellent university.

Best regards,

Franz Baader

P.S.: In case you have questions regarding this position, please don’t hesitate to send me an Email.

Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: franz.baader at tu-dresden.de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2895 bytes
Desc: not available
URL: <http://kr.org/pipermail/planetkr/attachments/20221221/9eab7a0f/attachment.bin>

More information about the PlanetKR mailing list