Logic List Mailing Archive

Two postdoctoral or PhD student positions on explaining description logic, Dresden (Germany), Deadline: 15 Jan 2019

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam