Senior / Key Scientist

Dependable Embedded Systems Lab
Campus TU Graz, Inffeldgasse 25F, 8010 Graz

Machine Learning for formal methods and formal methods for Machine Learning

Ubiquitous connectivity and things getting smart have led to a proliferation of cyber-physical systems providing increasingly essential as well as critical services in our everyday lives. Hence, SAL is establishing a world-class research lab for Dependable Embedded Systems, pursuing three main research objectives. The first objective of the lab is to combine AI and verification methods to push validation and testing of critical embedded software to new levels. The second objective is to research fundamentally new verification and validation methodologies for learning systems, that change behavior over lifetime, and finally, the third objective is to develop novel, rigorous modelling, verification and maintenance methods for highest assurance despite ever increasing SW complexity.

The Dependable Embedded Systems Lab is looking for research enthusiasts in the areas of:

  • Formal methods for modelling, verification and testing
  • Software Technology and Information Security
  • Security for embedded HW & SW in IOT
  • Embedded SW architecture, embedded AI systems, GPU and micro-controller programming
  • Machine Learning, Deep Learning, Reinforcement Learning
  • Statistical Signal Processing and Data Science

We hire...

Senior / Key Scientists

You are a renowned specialist with advanced disciplinary expertise and broad understanding of related areas, bringing a wealth of experience and personal network to the table. You feel comfortable in adapting to different dialog groups up to executive level in- and outside SAL. You are ready to take thought and/or disciplinary leadership responsibility and (contribute to) shape our organization and the future. Ideally you have a number of high impact publications and/or patents, are involved in natl. and intl. boards (e.g. ECSEL) committees (conference TPC, conference steering committee), and/or standardization bodies.


Austria's top re­search center for elec­tronic based systesm (EBS).

Unfold the future, unfold yourself.