Logic List Mailing Archive

Assistant / Associate Professorship in logic, AI, algorithms, data structures or graph theory, Kungens Lyngby (Denmark), Deadline: 15 Oct 2014

Vacant assistant/associate professorship (permanent position) at the 
Technical University of Denmark

http://www.dtu.dk/english/career/job?id=05a75bdc-f4e6-4760-9d14-aa4b0686db05

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.

The position is within the Algolog group (Algorithms, Logic and Graphs) of 
the Department of Applied Mathematics and Computer Science. You can read 
more about the group, its members, teaching and research here:

http://algolog.compute.dtu.dk

For more information, you can contact Thomas Bolander 
(tobo@dtu.dk<mailto:tobo@dtu.dk>) or the head of the Algolog section, Paul 
Fischer (pafi@dtu.dk<mailto:pafi@dtu.dk>).