Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Postdoc position on Formal Methods and Testing...

Email Gateway (Sep 04 2020 at 09:14):

From: Bernhard Aichernig <aichernig@ist.tugraz.at>
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>

Dr. Bernhard K. Aichernig, Associate Professor (ao. Univ.-Prof.), IST, TU Graz
http://aichernig.blogspot.com

Last updated: Apr 20 2024 at 04:19 UTC