Scientist / Researcher

Dependable Embedded Systems Lab

Machine Learning for formal methods and formal methods for Machine Learning

Ubiqui­tous connec­tivity and things getting smart have led to a proli­fe­ra­tion of cyber-physical systems provi­ding incre­a­singly essen­tial as well as critical services in our ever­yday lives. Hence, SAL is esta­blis­hing a world-class re­search lab for Depen­dable Embedded Systems, pursuing three main re­search objec­tives. The first objec­tive of the lab is to combine AI and veri­fi­ca­tion methods to push vali­da­tion and testing of critical embedded soft­ware to new levels. The second objec­tive is to re­search funda­men­tally new veri­fi­ca­tion and vali­da­tion metho­do­lo­gies for learning systems, that change beha­vior over life­time, and finally, the third objec­tive is to develop novel, rigo­rous model­ling, veri­fi­ca­tion and main­ten­ance methods for highest assurance despite ever incre­a­sing SW comple­xity.

THE DEPEN­DABLE EMBEDDED SYSTEMS LAB IS LOOKING FOR RE­SEARCH
ENTHU­SI­ASTS IN THE AREAS OF:

  • Formal methods for model­ling, veri­fi­ca­tion and testing
  • Soft­ware Tech­no­logy and Infor­ma­tion Secu­rity
  • Secu­rity for embedded HW & SW in IOT
  • Embedded SW archi­tec­ture, embedded AI systems, GPU and micro-controller programming
  • Machine Learning, Deep Learning, Rein­force­ment Learning
  • Statis­tical Signal Process­ing and Data Science

WE HIRE...

Scientists/Researchers

You hold a PhD degree or have comparable experience and are fond of developing scientific methods and procedures as well as their application. Daily work includes collaboration with university and industrial research and/or development staff as well as being a sparring partner for and supervising of Junior Researchers. You are used to writing and reviewing (peer) research papers, reports, reviews and summaries. Openness to develop project ideas, concepts and coordinate small and medium-sized projects including preparation of research proposals and funding applications/bids is highly welcome.

BECOME PART OF SILICON AUSTRIA LABS

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

Unfold the future, unfold yourself.