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

Camilo Thorne

Rheinhäuser Str. 9A
68165, Mannheim, Germany
mobile: +49(0)15202380352
http://www.camilothorne.com <http://camilothorne.com/>

"Exegi monumentum aere perennius"
(Horatius, Ode III-30)

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

Begin forwarded message:

*From: *Franz Baader <franz.baader@tu-dresden.de>
*Subject: **[loginf] research positions at TU Dresden*
*Date: *19. December 2018 at 14:10:43 CET
*To: *loginf@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@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

Received on Thursday, 3 January 2019 09:36:15 UTC