Doktorand*in (w/m/divers) - Fakultät für Informatik - Fachgebiet "Verifikation komplexer Systeme"
Core
Researching formal methods for safe, resilient, and reliable embedded and cyber-physical systems while supporting teaching and supervision of student theses.
Role type
PhD researcher (Postdoc/Research Associate)
Builds
Research outputs, teaching materials, and student thesis supervision
Domain
Computer Science, Formal Methods, Embedded Systems, Cyber-Physical Systems
Deliverable
research
Required skills
Formal methods, Embedded systems, Cyber-physical systems, Teaching, Research presentation
Preferred skills
Scientific further qualification (Promotion)
Technologies
Formal verification tools, Embedded system development environments
Responsibilities
Conduct research in formal methods for embedded and cyber-physical systems; Support teaching tasks and lead exercises/practicals; Assist with department administration; Support supervision of Bachelor and Master theses; Present research results at national and international events.
