---------- Forwarded message --------- From: Franz Baader <[email protected]> Date: Wed, 19 Dec 2018 at 11:13 Subject: research positions at TU Dresden To: Renata Wassermann <[email protected]>, Marcelo Finger < [email protected]>
Dear Renata and Marcelo, 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: [email protected] -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ORCID: https://orcid.org/0000-0002-1391-1175 ResearcherID: A-4670-2009 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx2CGFVYdFH%2BtKxMg%2Bzua6es%2BUthENe%2B0jGmUXRKan-u_Q%40mail.gmail.com.
