PhD Student in Automata Learning and Automated Testing

The Silicon Austria Labs – Doctoral College (SAL-DC) is a novel doctoral training programme for researchers focusing on the field of electronic based systems (EBS). SAL cooperates with industry, academic, and scientific partners on a regional, national, and international level with the aim to build an excellent research network and ecosystem for EBS. Fellows benefit from the training offered by SAL-DC in a highly international, interdisciplinary, and intersectoral setting to become future research leaders.

Your future responsibilities

  • Research in the area of automata learning and verification in order to further automate the testing process of computer-based systems
  • Novel combinations of model learning, model-based test-case generation and runtime verification in order to test selected dependability properties of a given system-under-test
  • The research shall go beyond the logical correctness of a system's functionality and also consider other quality characteristics, like latency and energy consumption

Your profile

Tech­nical skills: 
  • Computer scien­tist with strong back­ground in formal methods, veri­fi­ca­tion or auto­mated test-case gener­a­tion
  • Knowl­edge of automata-learning algo­rithms is an advan­tage

Social skills: 
  • Candi­date must be both team player and inde­pen­dent researcher
  • Profi­ciency in English required, German language skills not required but a plus

Personal skills: 
  • Highly moti­vated
  • Organ­ised
  • High energy level

Important Facts

  • Begin­ning of the employ­ment: September 2020
  • This posi­tion is endowed with a gross annual salary of € 40.978 based on the collec­tive agree­ment for re­search („Forschungs-Kollek­tiv­ver­trag“) and depen­ding on your expe­ri­ence and skills.

Become part of Silicon Austria Labs

The top research center for electronic based systems (EBS). Unfold the future, unfold yourself.
Your browser is out of date!

Update your browser to view this website correctly. Update my browser now