TU WIEN - Professorship of Nonclassical Logics in Computer Science -
Frist: 18.02.2012

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology, 
Austria Professorship of Nonclassical Logics in Computer Science for a five year term. The 
applicant is required to have an outstanding academic record in the field of Logic. In particular 
it is expected that he/she has made substantial scientific contributions to proof theory in 
nonclassical logics (cut-elimination, development of analytic calculi), including applications to 
computer science and other scientific areas. Experience in university teaching as well as 
experience in raising funds and in managing scientific research projects is highly appreciated. 
We offer excellent working conditions in an attractive research environment in a city with an 
exceptional quality of living. A more detailed announcement and information on how to apply can 
be found at: 
http://www.informatik.tuwien.ac.at/NCL.pdf, 

Application Deadline: 
February 18th, 2012, 
Applications should be sent to the Dean of the Faculty of Informatics (Prof. Dr. Gerald Steinhardt),
Erzherzog-Johann-Platz 1/180, A-1040 Vienna, Austria, http://www.informatik.tuwien.ac.at/NCL.pdf