Full Professorship of Computer Aided Verification (Successor of Helmut Veith)

All UK vacanciesAcademic or ResearchFull Professorship of Computer Aided Verification (Successor of Helmut Veith)

Computer Science,Computer Science

Short info about job

Company: Vienna University of Technology

Salary: Not specified

Hours: Full Time

Contract type: Permanent

Type / Role: Academic or Research

Phone: +44-1577 9247161

Fax: +44-1276 4383239

E-mail: N\A

Site:

Detail information about job Full Professorship of Computer Aided Verification (Successor of Helmut Veith). Terms and conditions vacancy

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

We offer excellent working conditions in an attractive research environment in a city with an exceptional quality of life.

For a more detailed announcement and information on how to apply, please go to:

http://www.informatik.tuwien.ac.at/vacancies

Responds for Full Professorship of Computer Aided Verification (Successor of Helmut Veith) on FaceBook

Read all comments for Full Professorship of Computer Aided Verification (Successor of Helmut Veith). Leave a respond Full Professorship of Computer Aided Verification (Successor of Helmut Veith) in social networks. Full Professorship of Computer Aided Verification (Successor of Helmut Veith) on Facebook and Google+