Thursday, 3 September 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.
- 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 <email@example.com>
Wednesday, 29 January 2020
Idea and Motivation. With recent advances in Internet connectivity, network enabled devices have become a substantial part of our everyday lives, extending into areas of increasing importance and criticality. Consequently, those systems must meet high standards with respect to dependability: Systems must be secure, safe, correct, reliable, maintainable, adaptable, and robust. However, these requirements for dependability are challenged by the growing complexity of modern embedded systems. On one hand, embedded systems are integrated into systems of systems that pool their resources and capabilities in order to offer more functionality and performance than simply the sum of its constituents. On the other hand, we face a paradigm shift towards more intelligent and highly adaptive systems where quality guarantees are hard to achieve. The opportunities seem unlimited, and yet these characteristics appear to be overwhelming in their complexity that any assurances of dependability seem out of reach.
- Our answer to this problem is twofold: dependable embedded systems require rigor: the complexity has to be mastered by precise abstraction techniques that enable compositional specification and verification;
- smart embedded systems demand smart development methods: the complexity due to “intelligent” software has to be mastered by new "intelligent" and rigorous software and methods.
Further information on the general idea behind the joint research labs can be found in the press release.
Monday, 13 May 2019
9 University Assistant Positions in "Dependable Internet of Things"
Graz University of Technology, Austria
The Excellence Research Center "Dependable Internet of Things in Adverse Environments" at Graz University of Technology (TU Graz) has been established in 2016 and has been extended until 2021 after a successful midterm evaluation. For further information see http://dependablethings.tugraz.at. The mission of this long-term center is to foster a highly interdisciplinary research team spanning the computer science and electrical engineering faculties to lay the scientific foundations for an Internet of Things that is highly reliable, safe, and secure in order to enable critical applications that require guaranteed performance and long-term operation even in adverse environments. The center is seeking to fill 9 University Assistant positions with excellent candidates, who will pursue their PhD working closely together in three sub-projects that focus on the following topics:
1. Dependable Wireless Communication and Localization: one position in wireless networking (Institute for Technical Informatics), one position in physical layer signal processing (Signal Processing and Speech Communication Lab), and one position in tunable microwave frontends (Institute for Microwave and Photonic Engineering).
2. Verified Dependability by Design: one position in embedded security and one position in formal verification (both at Institute of Applied Information Processing and Communications), one position in real-time operating systems (Institute for Technical Informatics), one position in model-based testing (Institute for Software Technology).
3. Dependable Multi-Agent Systems: one position in robotics (Institute for Software Technology), and one position in information and control theory (Signal Processing and Speech Communication Lab).
Applicants must hold a Master degree (or equivalent) in computer engineering, computer science, electrical engineering, or a related field before they can take on the position. Proficiency in the English language (spoken and written) is required. Applicants should be highly motivated, take initiative and responsibility, be able to work independently and in an interdisciplinary team, should have interest in scientific research, be committed to publish research results and to obtain a doctoral degree (PhD).
The positions are to be filled as soon as possible from July 2019 with an initial appointment for three years. Each position is remunerated according to the collective contract (Kollektivvertrag) for Austrian Universities, salary scale B1, the annual salary amounts to 40.103 EUR/year before taxes and may increase in case of relevant prior work experience.
TU Graz aims to increase the number of female employees and therefore specifically invites qualified women to apply.
TU Graz is a leading technical university in Austria (rank 75-100 in Shanghai subject ranking "Computer Science & Engineering") in a medium-sized city with a very high quality of life, located at the south-eastern foot of the Alps, offering plentiful recreation opportunities.
Applicants should fill in the application form at http://dependablethings.tugraz.at/jobs and upload it together with a transcript of records, a copy of the master's degree, a recent certificate of the level of proficiency of the English language, a copy of the master's thesis, and any recommendation letter of your former advisor(s) at http://lampz.tugraz.at/~dependablethings/. The application deadline is 07.06.2019. The ID of this job post is 4480/19/010. For further information please contact the center coordinator Prof. Kay Roemer <firstname.lastname@example.org>.