Wissenschaftliche:r Mitarbeiter:in (m/w/d), EG 13 TV-H
Core
Research and teaching in Software Engineering, focusing on combining model-driven, formal, and AI-based approaches to develop intelligent and reliable software systems.
Role type
Research Associate (PhD track) in Software Engineering
Builds
Research prototypes and tools for software development, teaching materials, and academic publications
Domain
Software Engineering, Artificial Intelligence, Formal Methods
Deliverable
research
Required skills
Software development, Object-oriented programming, Software architecture, Software testing and debugging, Model-driven development, Formal methods and verification, Machine Learning, Reinforcement Learning
Preferred skills
German language skills, Teaching experience, Research collaboration
Technologies
Modern development tools, AI/ML frameworks, Formal verification tools
Responsibilities
Conduct independent scientific research for international publications, Participate in teaching (programming, modeling, software engineering), Supervise students in internships and projects, Collaborate on research projects with national and international partners
