Seminars & internships
Seminars & internships
Seminars
In a seminar, students research literature on a given topic under the guidance of the supervising lecturer. They familiarise themselves with this literature, understand and evaluate the sources with regard to their relevance to the chosen topic, and present and discuss their findings in a scientific presentation and in a paper structured according to scientific standards.
We offer the following seminars at (un)regular intervals (also as introductory seminars):
- Playing for Correctness: Games in the Design of Embedded Systems
- Why Computerised Systems Fail
- Cooperative and Mobile Systems
- Automated techniques for analysing complex systems
- At the frontier of decidability
- Hybrid discrete-continuous embedded systems
- Current challenges in vehicle development
- Dynamic and Causal Models for Integrated Socio-Technical Systems
- Future Mobility: Artificial Intelligence meets Formal Methods
- Fundamentals of causal theory
- Cyber-physical systems and infrastructures
- Logics, Explanations and Reasoning for Integrated Socio-Technical Systems
Internships
A work placement offers students the opportunity to deepen their theoretical knowledge using practical examples. They work on a practical task in small groups and record their results in a paper based on scientific standards. They also present and discuss their results in a scientific lecture.
We offer the following internships on a (non-)regular basis:
- Computing Science internship
- Practical course in hardware-related system development
- Quantitative model checking
- Modelling and analysis of probabilistic systems
Senior and research seminar
The Foundations and Applications of Systems of Cyber-Physical Systems senior seminar and the research seminar include presentations on current research work. The research work can be Bachelor's/Master's theses or doctoral theses. Lectures are also offered on the fundamentals of the research work.