Senior / Key Researcher for Dependable Embedded Systems
Campus TU Graz, Inffeldgasse 33, 8010 Graz, Austria
Your future responsibilitiesMachine 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 together with TU-Graz a world-class research lab for Dependable Embedded Systems, pursuing three main research objectives. The first objective 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.
SAL 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
Your profileWe hire...
Senior / Key Researcher
You are a seasoned researcher holding a PhD degree in related areas, having advanced disciplinary expertise, and bringing a wealth of experience and personal network to the table. You feel comfortable in academic work with universities and translating it into industry co-operations and funding projects. 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. IEEE) committees (conference TPC, conference steering committee), and/or standardization bodies.
BECOME PART OF SILICON AUSTRIA LABS
Austria's top research center for electronic based systesm (EBS).
Unfold the future, unfold yourself!
- Beginning of the employment: as soon as possible
- The position is endowed with a min. gross annual salary of € 68.000 depending on your experience and skills.