[FOM] Fwd: [DL] Fwd: [loginf] research positions at TU Dresden

Camilo Thorne camilo.thorne at gmail.com
Wed Jan 2 07:47:17 EST 2019

---------- Forwarded message ---------
From: Jean Jung <jeanjung at uni-bremen.de>
Date: Wed, Jan 2, 2019 at 1:25 PM
Subject: [DL] Fwd: [loginf] research positions at TU Dresden
To: <dl at dl.kr.org>

Begin forwarded message:

*From: *Franz Baader <franz.baader at tu-dresden.de>
*Subject: **[loginf] research positions at TU Dresden*
*Date: *19. December 2018 at 14:10:43 CET
*To: *loginf at lists.tcs.ifi.lmu.de

Dear colleagues,

at the Institute for Theoretical Computer Science at TU Dresden we offer
two research positions (PhD student or Postdoc) from March 2019 until
December 2022.

The main task for these positions is to create, implement, and test
approaches for explaining Description Logic and other forms of logical
reasoning in a way that can adapt to certain types of users. In
addition, one of the researchers is expected to work on interactive
visualisation methods for explanations, and the other on applying
ontology-based reasoning and explanation in an application scenario.
This research will be carried out within a collaborative research center
(CRC/Transregio 248) that lays the foundations for the cyberphysical
systems of the future, enabling them to explain their functionality and
behaviour (so-called Perspicuous Systems). More information on the CRC
can be found at


The official call for applications with more information and
instructions for how to apply can be found at


But note that the deadline of January 15, 2019 given there is not
strict: we will accept applications as long as the positions are not
filled. Also, applicants invited for interviews will receive travel

Please alert your advanced Master students to this opportunity and put
the official call for applications on your bulletin boards.

Best regards,

-Franz Baader

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

*     Mailingliste der GI Fachgruppe 0.1.6 Logik in der Informatik     *
*     Homepage: http://www.informatik.uni-leipzig.de/alg/loginf/       *

**  You received this mail via the description logic mailing list; for
more  **
**  information, visit the description logic homepage at http://dl.kr.org/.
**              https://mailman.informatik.uni-bremen.de/mailman/listinfo/dl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190102/84215964/attachment-0001.html>

More information about the FOM mailing list