Professorship in nonclassical logics in computer science, Vienna (Austria)

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.

Application Deadline: February 18th, 2012. A more detailed announcement and information on how to apply can be found at: http://www.informatik.tuwien.ac.at/NCL.pdf.