Logic List Mailing Archive

Full Professorship in Formal Foundations of AI, Vienna (Austria), Deadline: 16 May 2019

TU WIEN - Full Professor Formal Foundations of Artificial Intelligence -

Announcement of an open position at the Faculty of Informatics,TU Wien, 
Austria FULL PROFESSOR of FORMAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE. 
The TU Wien (Vienna University of Technology) invites applications for a 
Full Professor position at the Faculty of Informatics. The applicant is 
required to have an outstanding academic record in the fields of Symbolic 
Artificial Intelligence and Knowledge Representation & Reasoning. 
Inparticular it is expected that he/she has made substantial scientific 
contributionsto formal and logic-based approaches of Artificial 
Intelligence with a particularfocus on computational aspects (complexity 
analysis, decomposition methods,argumentation, algorithm design, systems) 
and applications. For a more detailed announcement and information on how 
to apply, please goto: http://www.informatik.tuwien.ac.at/vacancies 
Applications (in English) should be sent to the Dean of the Faculty 
ofInformatics, Prof. Dr. Hannes Werthner, in digital form as a single pdf 
file to: dekanat@informatik.tuwien.ac.at. Application Deadline: May 16, 
2019
--
[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