Full Professorship of Computer Aided Verification Vienna University of Technology Austria

Announcement of an open position at the Faculty of Informatics,
TU Wien, Austria

(Successor of Helmut Veith)

The TU Wien (Vienna University of Technology) invites applications for a full professorship
according to § 98 University Act 2002 at the Faculty of Informatics. The position is affiliated to the
Institute of Information Systems. The candidate will become the head of the already existing and
valid established research group Formal Methods in Systems Engineering, previously headed by
Helmut Veith. The estimated starting date is October 1, 2018.

The applicant is required to have an outstanding academic record in the field of Computer Aided
Verification (CAV). Correctness, safety, and reliability of electronic systems are paramount in
today's software- controlled world. The focus of the professorship on CAV will be on automated
techniques to verify soft- and hardware. Besides a proven ability in CAV core methods
(Computational Logic, Theoretical Computer Science), the candidate will also have a strong interdisciplinary
background, especially in relation to Embedded Information Systems, Software
Verification, Synthesis or Distributed Algorithms. This position will strengthen the area of Logic and
Computation as well as form a link to other research foci of the faculty. Duties include teaching
informatics curricula courses (in English or German) as well as supervising graduates and PhD
students working on their theses. The professor is expected to contribute to usual management
and faculty service tasks.

The appointment will be made at tenure level, full time and permanent. If this is a candidate's first
appointment as a full professor, the initial appointment is for 5 years and will then be made
permanent following a positive evaluation.

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 Logic and Computation, Computer
Engineering, Distributed and Parallel Systems, Media Informatics and Visual Computing, as well as
Business Informatics.



 PhD or doctoral degree.
 Post-doctoral experience at a university or other research institution.
 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.


 Habilitation (or equivalent qualification).
 Leadership skills.
 Gender sensitivity and social skills.
 Willingness to promote young scientists.


 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.).
 Support for relocating to Vienna (if required).
 A position in a city with an exceptional quality of life.


For information about

 the TU Wien, go to: tuwien.ac.at
 the Faculty of Informatics, go to: informatik.tuwien.ac.at
 the 5 main research areas of the Faculty of Informatics, go to: informatik.tuwien.ac.at/research
 the Institute of Information Systems, go to: informatik.tuwien.ac.at/faculty/institutes/e184


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 5 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 68,475.40 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: October 16, 2017

If you apply for this position please say you saw it on Computeroxy

All Jobs


ubc reklama










texas tech


uni copenhagen