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

    From Bernhard Aichernig@21:1/5 to All on Fri Sep 4 06:03:26 2020
    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 (https://silicon-austria-labs.com) 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: https://www.tugraz.at/fakultaeten/csbme/news/jobs-grants-calls/7160-20-036/

    A brief description of the DES Lab can be found on my homepage: https://aichernig.blogspot.com

    In case of questions, feel free to contact me via email: Bernhard Aichernig <aichernig@ist.tugraz.at>

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)