We offer research opportunities in visualisation, wireless networks, adaptive systems, formal methods and software engineering.