Assistant or Associate Professorship in Discrete Maths, Algorithms, or Logic-Based AI, Kungens Lyngby (Denmark)

At the Section for Algorithms, Logic and Graph theory (AlgoLoG) at DTU Compute, Technical University of Denmark, Copenhagen, we are looking for our next Assistant or Associate Professor within Discrete Mathematics, Algorithms or Logic-based Artificial Intelligence.  We do research in algorithms, logic and graph theory, and how to apply these within artificial intelligence, knowledge representation, human-robot interaction, efficient software for large data sets and more.