[DL] More research positions at TU Dresden

Markus Kroetzsch markus.kroetzsch at tu-dresden.de
Thu Jan 3 10:18:02 CET 2019

Dear all,

The forwarded job advert is part of a larger batch of open positions at 
TU Dresden. In addition, we are looking for applicants (PhD 
student/postdoc, f/m/d) who would like to do research in the area of 
rule-based reasoning and ontology languages:


A fifth opening in the area of abstract argumentation is forthcoming.

All of these openings are part of a single, collaborative project, but 
they belong to separate sub-projects. Please send one separate 
application to each group/PI you want to apply to.

I am happy to answer informal queries by email.

Best regards and a Happy New Year,


Prof. Dr. Markus Kroetzsch
Knowledge-Based Systems Group
Institute for Theoretical Computer Science
Faculty of Computer Science
TU Dresden
+49 351 463 38486

On 02/01/2019 09:48, Jean Jung wrote:
>> Begin forwarded message:
>> *From: *Franz Baader <franz.baader at tu-dresden.de 
>> <mailto: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 <mailto: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
>> https://www.perspicuous-computing.science/
>> The official call for applications with more information and
>> instructions for how to apply can be found at
>> https://www.verw.tu-dresden.de/stellaus/stelle.asp?id=6536&lang=en
>> 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
>> reimbursement.
>> 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 <mailto: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/.  **
> **  SUBSCRIBE or UNSUBSCRIBE:                                                **
> **              https://mailman.informatik.uni-bremen.de/mailman/listinfo/dl **

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 5164 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman.informatik.uni-bremen.de/pipermail/dl/attachments/20190103/eef69157/attachment.p7s>

More information about the dl mailing list