Thursday 3 September 2020

Postdoc position on Formal Methods and Testing @ TU Graz, Austria

I am looking for a University Assistant (postdoc) to join my research group at Graz University of Technology, Austria. We do research in the areas of formal methods, testing and automata learning.  The group combines verification, falsification, modelling, and learning.

The postdoc will do fundamental research in the new TU Graz-SAL Dependable Embedded Systems Lab (DES Lab) where we research new methods for zero-bug software and dependable AI. In the DES Lab she/he will collaborate with SAL ( and a team around six well-known researchers of TU Graz: Marcel Baunach (embedded systems), Roderick Bloem (verification, synthesis), Robert Legenstein (computational neuroscience, machine learning), Stefan Mangard (security), Thomas Pock (optimisation, machine learning), and myself.

Needed qualification: completed doctoral studies in computer science, software engineering or a comparable subject.

Wanted qualifications:

  • Basic knowledge and research experience in one or more of the following areas:
    •  Model-based testing and test case generation
    •  Formal development methods (TLA+, Event-B, ...)
    •  Verification (Model Checking, Theorem Proving)
    •  Automata Learning (Model Inference)
    •  Symbolic execution
    • Testing/verification of machine learning components
    • Testing/verification of embedded systems
    • Testing/verification of temporal and stochastic systems
  • Successful thematically relevant publication activity
  • Interest in participating in teaching
  • Very good knowledge of English

Application deadline: 30 Sep 2020.

For further details and information how to apply, see:

A brief description of the DES Lab can be found on my homepage:

In case of questions, feel free to contact me via email: Bernhard Aichernig <>