Assistant/Associate Professor Position in Logic, Technical University of Denmark

Applications are invited for a position as Assistant or Associate Professor in Algorithms and Logic at the DTU Informatics department (IMM). The position is announced to be either for an assistant or associate professor within either "logic and logic-based AI" or "algorithms and data structures".

Applications must be received no later than April 23, 2008. For more information, see the full announcement here: http://www.imm.dtu.dk/Om_IMM/Ledige_stillinger.aspx?guid=22234654.