[DMANET] Professor in Mathematical Logic Taking into Account the Foundations of Computer Science - University of Vienna

At the Faculty of Mathematics of the University of Vienna the position of a

*University Professor
of
Mathematical Logic Taking into Account the Foundations of Computer Science*

(full time, permanent position) is to be filled.

We are looking for an outstanding researcher and teacher, in any area of
Computational Logic or Mathematical Logic, who will contribute to the
Foundations of Computer Science, at least in teaching.

*Successful candidates should have the following qualifications:*

* Doctoral degree/PhD and post-doctoral experience at a university or
other research institution
* Habilitation (venia docendi) in a subject field relevant to this
position or an internationally accepted equivalent qualification is
desirable
* Outstanding achievements in research, excellent publication record,
international reputation
* Experience in designing, procuring and managing large research
projects, as well as the willingness and ability to lead research groups
* Enthusiasm for excellent teaching, teaching experience at
universities as well as the ability and willingness to teach
students in all phases of their studies (bachelor's, master's, or
doctoral level), to supervise academic theses and to promoting young
academic colleagues

The University of Vienna expects the successful candidate to acquire,
within three years, proficiency in German sufficient for teaching in
bachelor's programmes and for participation in university committees. In
addition, the University of Vienna expects the successful candidate to
be prepared to take over responsibility on the organisational level of
the Faculty and the University, if necessary.

For more details see

https://www.mathjobs.org/jobs/jobs/11684

or

http://personalwesen.univie.ac.at/en/jobs-recruiting/professorships/detail-page/news/mathematical-logic-taking-into-account-the-foundations-of-computer-science/.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************