Logic List Mailing Archive

Professorship in nonclassical logics in computer science, Vienna (Austria), Deadline: 18 Feb 2012

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