<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">Begin forwarded message:</div><br class="Apple-interchange-newline"><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">From: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">Franz Baader <<a href="mailto:franz.baader@tu-dresden.de" class="">franz.baader@tu-dresden.de</a>><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Subject: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><b class="">[loginf] research positions at TU Dresden</b><br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">Date: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class="">19. December 2018 at 14:10:43 CET<br class=""></span></div><div style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px;" class=""><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif; color:rgba(0, 0, 0, 1.0);" class=""><b class="">To: </b></span><span style="font-family: -webkit-system-font, Helvetica Neue, Helvetica, sans-serif;" class=""><a href="mailto:loginf@lists.tcs.ifi.lmu.de" class="">loginf@lists.tcs.ifi.lmu.de</a><br class=""></span></div><br class=""><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Dear colleagues,<br class=""><br class="">at the Institute for Theoretical Computer Science at TU Dresden we offer<br class="">two research positions (PhD student or Postdoc) from March 2019 until<br class="">December 2022.<br class=""><br class="">The main task for these positions is to create, implement, and test<br class="">approaches for explaining Description Logic and other forms of logical<br class="">reasoning in a way that can adapt to certain types of users. In<br class="">addition, one of the researchers is expected to work on interactive<br class="">visualisation methods for explanations, and the other on applying<br class="">ontology-based reasoning and explanation in an application scenario.<br class="">This research will be carried out within a collaborative research center<br class="">(CRC/Transregio 248) that lays the foundations for the cyberphysical<br class="">systems of the future, enabling them to explain their functionality and<br class="">behaviour (so-called Perspicuous Systems). More information on the CRC<br class="">can be found at<br class=""><br class=""> <a href="https://www.perspicuous-computing.science/" class="">https://www.perspicuous-computing.science/</a><br class=""><br class="">The official call for applications with more information and<br class="">instructions for how to apply can be found at<br class=""><br class=""> <a href="https://www.verw.tu-dresden.de/stellaus/stelle.asp?id=6536&lang=en" class="">https://www.verw.tu-dresden.de/stellaus/stelle.asp?id=6536&lang=en</a><br class=""><br class="">But note that the deadline of January 15, 2019 given there is not<br class="">strict: we will accept applications as long as the positions are not<br class="">filled. Also, applicants invited for interviews will receive travel<br class="">reimbursement.<br class=""><br class="">Please alert your advanced Master students to this opportunity and put<br class="">the official call for applications on your bulletin boards.<br class=""><br class="">Best regards,<div class=""><br class=""></div><div class="">-Franz Baader</div><div class=""><br class=""><div class="">
<div class="">Prof. Dr.-Ing. Franz Baader<br class="">Technische Universität Dresden<br class="">Fakultät Informatik<br class="">Institut für Theoretische Informatik<br class="">Lehrstuhl für Automatentheorie<br class="">01062 Dresden<br class="">Tel.: +49 (351) 463-39160<br class="">Fax: +49 (351) 463-37959<br class="">E-Mail: <a href="mailto:franz.baader@tu-dresden.de" class="">franz.baader@tu-dresden.de</a></div><div class=""><br class=""></div><br class="Apple-interchange-newline">
</div>
<br class=""></div></div>--<br class="">* Mailingliste der GI Fachgruppe 0.1.6 Logik in der Informatik *<br class="">* Homepage: <a href="http://www.informatik.uni-leipzig.de/alg/loginf/" class="">http://www.informatik.uni-leipzig.de/alg/loginf/</a> *<br class=""></div></blockquote></div><br class=""></body></html>