Education and talent care
We teach sofware engineer students at the BSc, MSc and PhD level; our elective courses offer exciting and state-of-the-art topics.
Specializations
Courses

System Modeling
Foundations of designing software systems based on models

Systems Engineering
Introduction to methods and tools for model-based systems engineering

Formal Methods
Using formal methods for design, implementation and analysis

Model-based Systems Design
Technologies for domain-specific modeling and tool development

Cyber-physical Systems
Cloud-based, autonomous and reconfigurable embedded systems

Software & Systems Verification
Advanced automated verification and testing techniques

Software Verification and Validation
Mathematical foundations of formal V&V methods

Empirical Systems Engineering and Modeling
Assuring extra-functional properties during design and operations

Blockchain Technologies and Applications
Technologies and tools for designing blockchain-based systems

Big Data Analysis Techniques
Handling the probles of large data during analysis

DevOps
Automating and integrating development and operations

Visual Analysis of Measurements
How to turn data into information using visual methods?
Project work
Our students can start to work on engaging topics during their first project work course. We offer project and thesis topics ranging from practical developments inspired by our industrial partners to challenging research problems with strong theoretical background. Our goal is to find topics for students, where they can deepen their knowledge and improve their skills.
Talent care
Motivated students can start to work with us even in the beginning of their undergraduate studies, and later join our international research and innovation projects or one of our open source developments.
We offer special talent care opportunities and unique one-on-one mentoring for our talented students.