Mitteilungsblattknoten


Kategorie: Sonstiges

Teil von 14/2019

Announcement of an open position at the Faculty of Informatics, TU Wien, Austria FULL PROFESSOR of AUTOMATED PROGRAM REASONING

The TU Wien (Vienna University of Technology) invites applications for a Full Professor position according to § 98 University Act 2002 at the Faculty of Informatics. The position is affiliated to the Institute of Logic and Computation. The appointment will be made at tenure level, full time and permanent. The estimated starting date is February 1, 2020.
The applicant is required to have an outstanding academic record in the area of Automated Program Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches, by favorably using automated theorem proving, symbolic computation, and/or formal methods.
Besides research, the duties of a Full Professor at the TU Wien include graduate and undergraduate teaching (in English or German) as well as contributing to usual management and faculty service tasks.
The TU Wien is among the most successful technical universities in Europe and it is Austria’s largest scientific-technical research and educational institution. The Faculty of Informatics, one of the eight faculties at the TU Wien, plays an active role in national and international research and has an excellent reputation. The main areas of research include Computer Engineering, Logic and Computation, Visual Computing & Human-Centered Technology, as well as Information Systems Engineering.
Applicants are expected to have the following qualifications:
Essential
-  PhD or doctoral degree.
-  An outstanding research and publication record
-  An excellent reputation as an active member of the international scientific community
-  Experience in raising research funds and managing scientific research projects
-  Experience in university teaching
-  Pedagogic and didactic skills
-  Administrative and organisational skills
Desirable
-  Habilitation (or equivalent qualification)
-  Leadership skills
-  Gender sensitivity and social skills
-  Willingness to promote young scientists
The Faculty of Informatics offers
-  Excellent working conditions in an attractive research environment.
-  An attractive salary, including additional contributions to a pension fund.
-  Additional financial research support during the first few years (equipment etc.).
-  A position in a city with an exceptional quality of life.
General Information
For information about
-  the TU Wien, go to: tuwien.ac.at
-  the Faculty of Informatics, go to: informatik.tuwien.ac.at
-  the 4 main research areas of the Faculty of Informatics, go to: informatik.tuwien.ac.at/research
-  the Institute of Logic and Computation, go to: informatik.tuwien.ac.at/faculty/institutes/e192
Application
The TU Wien is committed to increasing female employment in leading scientific positions. Female applicants are explicitly encouraged to apply. Preference will be given to female applicants when equally qualified.
People with special needs with appropriate qualifications are encouraged to apply. In case of queries, please contact the representative of people with disabilities of TU Wien Mr. Gerhard Neustätter ( gerhard.neustaetter@tuwien.ac.at ).
Applications have to include
-  A detailed curriculum vitae.
-  A list of publications.
-  Copies of the applicant’s five most important publications related to the position together with an explanation of their relevance.
-  A positioning statement, describing the applicant’s vision on how to position and advance the field within the Faculty of Informatics in the areas of research and teaching, in particular in connection with the 4 main research areas of the Faculty of Informatics.
The actual salary will be agreed between the successful applicant and the university, commensurate with qualifications and relevant experience. In accordance with the Austrian Collective Agreement for University Staff full professors receive a minimum salary of currently EUR 71,822.80 per year.
Applications (in English) should be sent to the Dean of the Faculty of Informatics, Prof. Dr. Hannes Werthner, in digital form as a single pdf file to: dekanat@informatik.tuwien.ac.at
Application Deadline: 16.05.2019

Dean of the Faculty of Informatics:
Prof. Dr. Hannes W e r t h n e r