The Department of Computer Science and Biomedical Engineering at Graz University of Technology is committed to excellence in research and teaching. The research at the department covers a broad spectrum of topics that are reflected in our main research areas Biomedical Engineering, Safety and Security, Intelligent Systems, and Visual Computing. We are proud of our outstanding applied and basic research and stimulate interdisciplinary projects. Moreover, our faculty fosters a close dialogue with local industry and encourages the establishment of spin-offs.


University Assistant (PostDoc, 3 years) at the Institute of Applied Information Processing and Communications

40h/week, presumably starting 01 June 2020.

Admission requirements

Completed doctoral studies in a relevant field and research experience in formal methods.

Wanted Qualifications

Research experience in model checking, reactive synthesis, formal methods for machine learning or security.

Classification

B 1 under the collective agreement for university employees; the monthly minimum remuneration for this use is currently € 3.889,50 gross (14 times per year, including social and health insurance).

Applications, curriculum vitae and other documents should preferably be sent electronically to applications.csbme@tugraz.at with a precise description of the position or the reference number and must be received by the end of the application period at the latest.

Application deadline: 22 April 2020
Reference number: 7050/20/019