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

[Jean Jung]

> 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
> 
>    https://www.perspicuous-computing.science/ <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 <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/       *

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20190102/b9047bda/attachment.htm>