Logic List Mailing Archive

Assistant or Associate Professorship in Discrete Maths, Algorithms, or Logic-Based AI, Kungens Lyngby (Denmark), Deadline: 15 May 2021

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. The deadline for 
applying is 15 May 2021. The full job announcement can be found here:

https://www.dtu.dk/english/about/job-and-career/vacant-positions/job?id=9f9e8e57-ff80-4ad6-9093-166a433f4a00

A description of our research section can be found here: 
https://www.compute.dtu.dk/english/research/research-sections/algolog. We 
do research in algorithms, logic and graph theory (as suggested by the 
title of our section), and how to apply these within artificial 
intelligence, knowledge representation, human-robot interaction, efficient 
software for large data sets and more.

Further information can be obtained from the head of section, Paul Fischer 
(pafi@dtu.dk<mailto:pafi@dtu.dk>). I?m myself in particular representing 
the logic-based AI part of the section, together with Jørgen Villadsen and 
Nina Gierasimczuk, and you?re also welcome to contact me regarding our 
activities and interests in that area.

Best,

Thomas Bolander
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam