82 algorithm-phd "INSAIT The Institute for Computer Science" PhD positions at Technical University of Denmark