TU Wien Informatics

20 Years

Open position: PROFESSORSHIP of COMPUTER AIDED VERIFICATION

  • 2017-07-20
  • Open Position

TU Wien invites applications for a full professorship at the Faculty of Informatics.

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 inter-disciplinary 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.

For a more detailed announcement and information on how to apply, see the attached announcement or visit www.informatik.tuwien.ac.at/vacancies.

Application Deadline: October 16, 2017

Downloads

  • PDF / 58.3 KB / Computer_Aided_Verfication_final.pdf

Links

Curious about our other news? Subscribe to our news feed, calendar, or newsletter, or follow us on social media.

Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!