[DL] More research positions at TU Dresden

[Markus Kroetzsch]

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:

https://iccl.inf.tu-dresden.de/web/Jobs/en

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,

Markus


-- 
Prof. Dr. Markus Kroetzsch
Knowledge-Based Systems Group
Institute for Theoretical Computer Science
Faculty of Computer Science
TU Dresden
+49 351 463 38486
https://kbs.inf.tu-dresden.de/


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: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20190103/eef69157/attachment.bin>