Professorship in Logic & AI, Kongens Lyngby (Denmark)

DTU Compute's Section for Algorithms, Logic and Graph theory (AlgoLoG), invites applications for a position as Professor of Logic and Artificial Intelligence. The position covers research, research-based teaching, and research-based public outreach activities within logic and AI. The successful applicant will have the responsibility to strengthen the research in symbolic AI at the department, as well as the integration of symbolic AI with other approaches to AI such as statistical learning.

The successful candidate is expected to take a lead role in teaching at the BSc, MSc, and PhD levels. For international candidates, DTU can provide Danish language courses enabling the candidates to teach in Danish within 2-3 years.