Project title: Design Space Exploration 2.0: Towards Optimal Design of Complex, Distributed Cyber Physical Systems
Researcher (PhD student/PostDoc) in programming language technology for adaptive cyber-physical systems