Assistant/associate professorship in Logic and AI, Technical University of Denmark

There is a vacant assistant/associate professorship (permanent position) at the Technical University of Denmark. The position is within the Algolog group (Algorithms, Logic and Graphs) of the Department of Applied Mathematics and Computer Science.

We welcome strong applicants in logic, AI, algorithms, data structures and/or graph theory, with slightly higher priority given to logic and AI. The application deadline is 15 October 2014.

For more information, please see http://www.dtu.dk/english/career/job?id=05a75bdc-f4e6-4760-9d14-aa4b0686db05 or contact Thomas Bolander (tobo at dtu.dk) or the head of the Algolog section, Paul Fischer (pafi at dtu.dk). You can read more about the Algolog group at http://algolog.compute.dtu.dk/.