[AISWorld] Open position: Professorship of Computer Aided Verification (TU Wien)

[Fischl Wolfgang]

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


FULL PROFESSORSHIP
of
COMPUTER AIDED VERIFICATION
(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.


APPLICANTS ARE EXPECTED TO HAVE THE FOLLOWING QUALIFICATIONS:

Essential
- 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.

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.).
- Support for relocating to Vienna (if required).
- 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 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


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 at 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 at informatik.tuwien.ac.at

Application Deadline: October 16, 2017